2558 search results - page 286 / 512 » Model Composition Contracts |
138
click to vote
AAAI
1994
15 years 6 months ago
1994
In this paper, we study the problem of achieving efficient interaction in a distributed scheduling system whose scheduling agents may borrow resources from one another. Specifical...
149
click to vote
TSMC
2010
14 years 11 months ago
2010
Abstract--It is critical to use automated generators for synthetic models and data, given the sparsity of benchmark models for empirical analysis and the cost of generating models ...
146
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...
145
click to vote
QSIC
2007
IEEE
15 years 11 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
161
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...