Processor-embedded distributed smart disks for I/O-intensive workloads: architectures, performance models and evaluation Fulltext Access 20 Pages 2005
Performance of TCP-friendly streaming sessions in the presence of heavy-tailed elastic flows Fulltext Access 20 Pages 2005
Parsimonious estimates of bandwidth requirement for quality of service packet networks Fulltext Access 20 Pages 2005
Performance of 1 and 10 Gigabit Ethernet cards with server quality motherboards Fulltext Access 20 Pages 2005
Design and performance evaluation of load distribution strategies for multiple divisible loads on heterogeneous linear daisy chain networks Fulltext Access 20 Pages 2005
Handoff management in wireless data networks using topography-aware mobility prediction Fulltext Access 20 Pages 2005
Metadata-driven design of integrated environments for software performance validation Fulltext Access 20 Pages 2005
Comprehension and quality of analysis specifications-a comparison of FOOM and OPM methodologies Fulltext Access 20 Pages 2005
Modelling hydrodynamics and water quality in the separation waterway of the Yulin offshore industrial park, Taiwan Fulltext Access 20 Pages 2005
Eclpss: a Java-based framework for parallel ecosystem simulation and modeling Fulltext Access 20 Pages 2005
Vulnerability of water quality in intensively developing urban watersheds Fulltext Access 20 Pages 2005
Supporting ATAM with a collaborative Web-based software architecture evaluation tool Fulltext Access 20 Pages 2005
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY Fulltext Access 20 Pages 2005
ATF: an Adaptive Three-layer Framework for inter-stream synchronization of SMIL multimedia presentations Fulltext Access 21 Pages 2005
A methodology and tool support for managing business rules in organisations Fulltext Access 21 Pages 2005
On the query refinement in the ontology-based searching for information Fulltext Access 21 Pages 2005
Deliberation in a metadata-based modeling and simulation environment for inter-organizational networks Fulltext Access 21 Pages 2005
A hierarchical, objectives-based framework for the digital investigations process Fulltext Access 21 Pages 2005
Computing on large-scale distributed systems: XtremWeb architecture, programming models, security, tests and convergence with grid Fulltext Access 21 Pages 2005
Design and optimization of MOS current mode logic for parameter variations Fulltext Access 21 Pages 2005
Modular neural networks to predict the nitrate distribution in ground water using the on-ground nitrogen loading and recharge data Fulltext Access 21 Pages 2005
The value of combining a systems view of sustainability with a participatory protocol for ecologically informed design in river basins Fulltext Access 21 Pages 2005
When security meets software engineering: a case of modelling secure information systems Fulltext Access 21 Pages 2005
Mutable strings in Java: design, implementation and lightweight text-search algorithms Fulltext Access 21 Pages 2005
Pseudo-online testing methodologies for various components of field programmable gate arrays Fulltext Access 21 Pages 2005
Effective bandwidth for a single server queueing system with fractional Brownian input Fulltext Access 21 Pages 2005
Compositionality and locality for improving model checking in the selective mu-calculus Fulltext Access 21 Pages 2005
Performance analysis of a novel hybrid push-pull algorithm with QoS adaptations in wireless networks Fulltext Access 21 Pages 2005
Client-side content delivery policies in replicated web services: parallel access versus single server approach Fulltext Access 21 Pages 2005
Novel state minimization and state assignment in finite state machine design for low-power portable devices Fulltext Access 22 Pages 2005
How to steer an embedded software project: tactics for selecting the software process model Fulltext Access 22 Pages 2005
Exploiting locality for scalable information retrieval in peer-to-peer networks Fulltext Access 22 Pages 2005
Multi-criteria decision analysis in spatial decision support: the ASSESS analytic hierarchy process and the role of quantitative methods and spatially explicit analysis Fulltext Access 22 Pages 2005
BITAM: An engineering-principled method for managing misalignments between business and IT architectures Fulltext Access 22 Pages 2005
An analytical model for CDMA downlink rate optimization taking into account uplink coverage restrictions Fulltext Access 22 Pages 2005
De Bruijn's syntax and reductional behaviour of λ-terms: the untyped case Fulltext Access 23 Pages 2005
An alternative method for electrophoretic gel image analysis in the GelMaster software Fulltext Access 23 Pages 2005
Modeling message-passing programs with a Performance Evaluating Virtual Parallel Machine Fulltext Access 23 Pages 2005
Design and analysis of asymptotically optimal randomized tree embedding algorithms in static networks Fulltext Access 23 Pages 2005
Probabilistic envelope processes for α-stable self-similar traffic models and their application to resource provisioning Fulltext Access 23 Pages 2005
Analysing input/output-capabilities of mobile processes with a generic type system Fulltext Access 24 Pages 2005
Using Maude to write and execute ODP information viewpoint specifications Fulltext Access 24 Pages 2005
Real number computation with committed choice logic programming languages Fulltext Access 24 Pages 2005
How the design of JML accommodates both runtime assertion checking and formal verification Fulltext Access 24 Pages 2005
Iterative-improvement-based declustering heuristics for multi-disk databases Fulltext Access 24 Pages 2005
An architecture for workflow scheduling under resource allocation constraints Fulltext Access 24 Pages 2005
Iterative algorithms for performance evaluation of closed network models Fulltext Access 24 Pages 2005