3463 search results - page 480 / 693 » Modeling and executing master-worker applications in compone... |
159
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
167
click to vote
IASTEDSE
2004
15 years 7 months ago
2004
This paper presents a development process with particular focus on non-functional properties. The process is built around the concept of measurements at different levels of abstra...
187
click to vote
SERP
2004
15 years 7 months ago
2004
Model-Driven Development (MDD) represents a positive step toward a general model-based approach to software engineering. The Object Management Group (OMG) offers a conceptual fram...
198
click to vote
SIAMCOMP
2002
15 years 6 months ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
185
click to vote
TJS
2002
15 years 6 months ago
2002
The Center for Simulating Dynamic Response of Materials at the California Institute of Technology is constructing a virtual shock physics facility for studying the response of vari...