Patterns and technologies for enabling supply chain traceability through collaborative e-business Fulltext Access 18 Pages 2008
Towards management of software as assets: A literature review with additional sources Fulltext Access 18 Pages 2008
A framework to analyze information systems as knowledge flow facilitators Fulltext Access 18 Pages 2008
Using formal metamodels to check consistency of functional views in information systems specification Fulltext Access 18 Pages 2008
Virtualization-based autonomic resource management for multi-tier Web applications in shared data center Fulltext Access 18 Pages 2008
A work product pool approach to methodology specification and enactment Fulltext Access 18 Pages 2008
A wrapping approach for migrating legacy system interactive functionalities to Service Oriented Architectures Fulltext Access 18 Pages 2008
Client-side selection of replicated web services: An empirical assessment Fulltext Access 18 Pages 2008
Customization of an embedded RISC CPU with SIMD extensions for video encoding: A case study Fulltext Access 18 Pages 2008
A product management challenge: Creating software product value through requirements selection Fulltext Access 18 Pages 2008
UM-RTCOM: An analyzable component model for real-time distributed systems Fulltext Access 18 Pages 2008
A comprehensive empirical evaluation of missing value imputation in noisy software measurement data Fulltext Access 18 Pages 2008
Cross-company vs. single-company web effort models using the Tukutuku database: An extended study Fulltext Access 18 Pages 2008
System level design of telecom systems using formal model refinement: Applying the B method/language in practice Fulltext Access 18 Pages 2008
Specification, decomposition and agent synthesis for situation-aware service-based systems Fulltext Access 18 Pages 2008
Behavioral matchmaking for service retrieval: Application to conversation protocols Fulltext Access 18 Pages 2008
Effective protocols for kNN search on broadcast multi-dimensional index trees Fulltext Access 18 Pages 2008
A dimensionality reduction technique for efficient time series similarity analysis Fulltext Access 18 Pages 2008
Vulnerability assessment of groundwater resources: A modelling-based approach to the Mancha Occidental aquifer, Spain Fulltext Access 18 Pages 2008
A generic, formal language-based methodology for hierarchical floorplanning-placement Fulltext Access 18 Pages 2008
A resource aware software partitioning algorithm based on mobility constraints in pervasive grid environments Fulltext Access 18 Pages 2008
Managing uncertainty and vagueness in description logics for the Semantic Web Fulltext Access 18 Pages 2008
Rigorous engineering of product-line requirements: A case study in failure management Fulltext Access 18 Pages 2008
A macroeconomic model for resource allocation in large-scale distributed systems Fulltext Access 18 Pages 2008
Generating CAM aspect-oriented architectures using Model-Driven Development Fulltext Access 18 Pages 2008
Development and testing of a terrain-based hydrologic model for spatial Hortonian Infiltration and Runoff/On Fulltext Access 19 Pages 2008
Development of a high-resolution emission inventory for Spain using the SMOKE modelling system: A case study for the years 2000 and 2010 Fulltext Access 19 Pages 2008
Enhancing conflict detecting mechanism for Web Services composition: A business process flow model transformation approach Fulltext Access 19 Pages 2008
Software performance tuning of software product family architectures: Two case studies in the real-time embedded systems domain Fulltext Access 19 Pages 2008
Development and illustrative outputs of the Community Integrated Assessment System (CIAS), a multi-institutional modular integrated assessment approach for modelling climate change Fulltext Access 19 Pages 2008
A biofluid dynamic computer code using the general lattice Boltzmann equation Fulltext Access 19 Pages 2008
DRAMA: A framework for domain requirements analysis and modeling architectures in software product lines Fulltext Access 19 Pages 2008
A new approach to power estimation and reduction in CMOS digital circuits Fulltext Access 19 Pages 2008
Do secure information system design methods provide adequate modeling support? Fulltext Access 19 Pages 2008
Automated generation of test suites from formal specifications of real-time reactive systems Fulltext Access 19 Pages 2008
Gridification of collaborative audiovisual organizations through the MediaGrid framework Fulltext Access 19 Pages 2008
Parallel techniques for information extraction from hyperspectral imagery using heterogeneous networks of workstations Fulltext Access 19 Pages 2008
Improving stability for peer-to-peer multicast overlays by active measurements Fulltext Access 19 Pages 2008
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems Fulltext Access 19 Pages 2008
Design and verification of long-running transactions in a timed framework Fulltext Access 19 Pages 2008
A multilevel partitioning approach for efficient tasks allocation in heterogeneous distributed systems Fulltext Access 19 Pages 2008
Resource management using multiple feedback loops in soft real-time distributed object systems Fulltext Access 19 Pages 2008
On the effectiveness of phase based regression models to trade power and performance using dynamic processor adaptation Fulltext Access 19 Pages 2008
A methodology to design arbitrary failure detectors for distributed protocols Fulltext Access 19 Pages 2008
Quantitative risk-based security prediction for component-based systems with explicitly modeled attack profiles Fulltext Access 19 Pages 2008
Systematic approaches to understanding and evaluating design trade-offs Fulltext Access 19 Pages 2008
Comparing disjunctive modal transition systems with an one-selecting variant Fulltext Access 20 Pages 2008
Unanticipated partial behavioral reflection: Adapting applications at runtime Fulltext Access 20 Pages 2008
Model driven middleware: A new paradigm for developing distributed real-time and embedded systems Fulltext Access 20 Pages 2008
Achieving Mobile Agent Systems interoperability through software layering Fulltext Access 20 Pages 2008
A test driven approach for aspectualizing legacy software using mock systems Fulltext Access 20 Pages 2008
Mobile JikesRVM: A framework to support transparent Java thread migration Fulltext Access 20 Pages 2008
Web proxy cache replacement scheme based on back-propagation neural network Fulltext Access 20 Pages 2008
An XML-based methodology for parametric temporal database model implementation Fulltext Access 20 Pages 2008
Integrating a software architecture-centric method into object-oriented analysis and design Fulltext Access 20 Pages 2008
Quality-driven model-based architecture synthesis for real-time embedded SoCs Fulltext Access 20 Pages 2008