Sciweavers

2521 search results - page 245 / 505
» Semantic Component Composition
Sort
View
88
Voted
FORMATS
2009
Springer
15 years 7 months ago
Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net
In concurrent real-time processes, the speed of individual components has a double impact: on the one hand, the overall latency of a compound process is affected by the latency of...
Anne Bouillard, Stefan Haar, Sidney Rosario
101
Voted
INTELLCOMM
2004
Springer
15 years 6 months ago
Towards Service Continuity for Generic Mobile Services
This paper discusses models of generic mobile services. The goal is to gain understanding of the challenges in designing, developing and deploying advanced mobile data services. Fi...
Ivar Jørstad, Do Van Thanh, Schahram Dustda...
87
Voted
CONCUR
1998
Springer
15 years 5 months ago
Alternating Refinement Relations
Alternating transition systems are a general model for composite systems which allow the study of collaborative as well as adversarial relationships between individual system compo...
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, ...
103
Voted
SAC
2008
ACM
15 years 7 days ago
Serpentine: adaptive middleware for complex heterogeneous distributed systems
Adaptation of system parameters is acknowledged as a requirement to scalable and dependable distributed systems. Unfortunately, adaptation cannot be effective when provided solely...
Miguel Matos, Alfrânio Correia Jr., Jos&eacu...
134
Voted
OOPSLA
2009
Springer
15 years 7 months ago
Debug all your code: portable mixed-environment debugging
Programmers build large-scale systems with multiple languages to reuse legacy code and leverage languages best suited to their problems. For instance, the same program may use Jav...
Byeongcheol Lee, Martin Hirzel, Robert Grimm, Kath...