9267 search results - page 1687 / 1854 » Expectation-Oriented Analysis and Design |
183
click to vote
DSOM
2005
Springer
16 years 4 days ago
2005
Springer
The growth in the scale of systems and networks has created many challenges for their management, especially for event processing. Our premise is that scaling event processing requ...
167
click to vote
DSVIS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
197
click to vote
ESOP
2005
Springer
16 years 4 days ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
200
click to vote
EUROCAST
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The design, development, construction and testing of an ArtificialVision controlled Traffic-Light prototype has been carried out to rule and regulate intersections. Metho...
175
click to vote
EUROPAR
2005
Springer
16 years 4 days ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...