194 search results - page 8 / 39 » Compositional Performability Evaluation for STATEMATE |
107
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
HCI
2009
14 years 9 months ago
2009
ImproV is a video compositing system for live video. It uses a dataflow diagram to represent the video processing flow and allows performers to edit the diagrams even while the vid...
101
Voted
CBSE
2004
Springer
15 years 5 months ago
2004
Springer
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
IWCMC
2010
ACM
15 years 1 months ago
2010
ACM
In a pervasive computing environment, the devices are embedded in the physical world, providing services and interconnected by a communication network. Composition of these servic...
TES
2005
Springer
15 years 5 months ago
2005
Springer
This paper discusses a combinatorial problem about the selection of candidates for Web service compositions. The problem occurs if we assume that a discovery process has identifi...