3828 search results - page 31 / 766 » Proof-Based System Engineering Using a Virtual System Model |
WOSP
2004
ACM
15 years 7 months ago
2004
ACM
We propose an automated compositional approach for component-based performance engineering, called the CB-SPE. It adapts to a CB framework the concepts and steps of the wellknown ...
114
Voted
SIGGRAPH
1997
ACM
15 years 6 months ago
1997
ACM
This paper describes the integration of the Berkeley Architectural Walkthrough Program with the National Institute of Standards and Technology’s CFAST fire simulator. The integ...
99
Voted
WSC
2004
15 years 3 months ago
2004
The interactive, simulation-aided analysis of material flow systems is often done with the help of virtual reality. If a user wants to influence the simulation run, the simulation...
194
Voted
SIGSOFT
2011
ACM
14 years 9 months ago
2011
ACM
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
150
click to vote
ICNS
2006
IEEE
15 years 8 months ago
2006
IEEE
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...