Verifying an infinite systolic algorithm using third-order equational methods Fulltext Access 18 Pages 2006
Adaptive dynamic thread scheduling for simultaneous multithreaded architectures with a detector thread Fulltext Access 18 Pages 2006
Adaptive load distribution algorithms for heterogeneous distributed systems with multiple task classes Fulltext Access 18 Pages 2006
Finding a suitable checkpoint and recovery protocol for a distributed application Fulltext Access 18 Pages 2006
User mobility oriented predictive call admission control and resource reservation for next-generation mobile networks Fulltext Access 18 Pages 2006
An improved approximation algorithm for vertex cover with hard capacities Fulltext Access 18 Pages 2006
Performance evaluation of an intelligent CAC and routing framework for multimedia applications in broadband networks Fulltext Access 18 Pages 2006
Efficient algorithms for a constrained k-tree core problem in a tree network Fulltext Access 18 Pages 2006
Graph minimum linear arrangement by multilevel weighted edge contractions Fulltext Access 18 Pages 2006
A CPS encoding of name-passing in Higher-order mobile embedded resources Fulltext Access 18 Pages 2006
Compatible topologies on graphs: An application to graph isomorphism problem complexity Fulltext Access 18 Pages 2006
Approximation schemes for scheduling and covering on unrelated machines Fulltext Access 18 Pages 2006
Polynomial-size Frege and resolution proofs of st-connectivity and Hex tautologies Fulltext Access 18 Pages 2006
A heuristic for the Stacker Crane Problem on trees which is almost surely exact Fulltext Access 19 Pages 2006
Fuzzy LINMAP method for multiattribute decision making under fuzzy environments Fulltext Access 19 Pages 2006
Efficient offline algorithms for the bicriteria k-server problem and online applications Fulltext Access 19 Pages 2006
Sensitivity analysis of the strain criterion for multidimensional scaling Fulltext Access 19 Pages 2006
Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages Fulltext Access 19 Pages 2006
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems Fulltext Access 19 Pages 2006
Sensitivity analysis of constrained linear L1L1 regression: Perturbations to constraints, addition and deletion of observations Fulltext Access 19 Pages 2006
On tests of independence based on minimum φφ-divergence estimator with constraints: An application to modeling DNA Fulltext Access 19 Pages 2006
Forecasting daily time series using periodic unobserved components time series models Fulltext Access 19 Pages 2006
Applying a Stochastic Model to a Dynamic, QoS Enabled Web Services Hosting Environment Fulltext Access 19 Pages 2006
Principal component analysis of binary data by iterated singular value decomposition Fulltext Access 19 Pages 2006
Efficient design and analysis of two colour factorial microarray experiments Fulltext Access 19 Pages 2006
Multiple testing procedures for analyzing stratified comparative clinical trials using odds ratios Fulltext Access 19 Pages 2006
Nonparametric estimation of the regression function from quantized observations Fulltext Access 19 Pages 2006
Artemis: Deploying semantically enriched Web services in the healthcare domain Fulltext Access 19 Pages 2006
Rough intervals—enhancing intervals for qualitative modeling of technical systems Fulltext Access 19 Pages 2006
A Framework for Engineering Interactions in Java-based Component Systems Fulltext Access 19 Pages 2006
An MDA approach to Access Control Specifications Using MOF and UML Profiles Fulltext Access 19 Pages 2006
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches Fulltext Access 19 Pages 2006
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks Fulltext Access 19 Pages 2006