14331 search results - page 38 / 2867 » On the modeling and analysis of obligations |
170
click to vote
DATE
2008
IEEE
16 years 17 days ago
2008
IEEE
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
204
click to vote
FLOPS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...