3463 search results - page 191 / 693 » Modeling and executing master-worker applications in compone... |
165
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
188
click to vote
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
141
click to vote
TODAES
1998
15 years 6 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
158
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
Performance models provide significant insight into the performance relationships between an application and the system used for execution. The major obstacle to developing perfor...
154
click to vote
DEXAW
2000
IEEE
15 years 10 months ago
2000
IEEE
Spatio-temporal databases have been the focus of considerable research activity over a significant period. However, there are as of yet very few prototypes of complete systems, f...