Sciweavers

4890 search results - page 232 / 978
» From system specifications to component behavioral models
Sort
View
ASWEC
2009
IEEE
15 years 11 months ago
Connector-Driven Process for the Gradual Evolution of Component-Based Software
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...
Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Va...
CCGRID
2010
IEEE
15 years 7 months ago
Selective Recovery from Failures in a Task Parallel Programming Model
Abstract--We present a fault tolerant task pool execution environment that is capable of performing fine-grain selective restart using a lightweight, distributed task completion tr...
James Dinan, Arjun Singri, P. Sadayappan, Sriram K...
FTDCS
2003
IEEE
15 years 12 months ago
Dynamic Component Composition for Functionality Adaptation in Pervasive Environments
With the increasing prevalence of mobile devices, computing is being carried out on devices with varied resource constraints and is afflicted by constant changes in run-time conte...
Nalini Moti Belaramani, Cho-Li Wang, Francis C. M....
TACAS
2007
Springer
99views Algorithms» more  TACAS 2007»
16 years 24 days ago
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. J...
ITIIS
2010
192views more  ITIIS 2010»
15 years 5 months ago
Large-Scale Integrated Network System Simulation with DEVS-Suite
Formidable growth of Internet technologies has revealed challenging issues about its scale and performance evaluation. Modeling and simulation play a central role in the evaluatio...
Ahmet Zengin