14331 search results - page 38 / 2867 » On the modeling and analysis of obligations |
76
Voted
ECCV
2006
Springer
15 years 5 months ago
2006
Springer
INFORMS
1998
15 years 1 months ago
1998
120
click to vote
DATE
2008
IEEE
15 years 8 months 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...
154
Voted
FLOPS
2006
Springer
15 years 5 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...
106
Voted
ICDAR
2009
IEEE
15 years 8 months ago
2009
IEEE