8377 search results - page 89 / 1676 » Scenarios - Introduction |
CAV
2006
Springer
2006
Springer
Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs
15 years 7 months ago
135
click to vote
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...
110
Voted
CRITIS
2006
15 years 7 months ago
2006
It is commonly agreed that Wireless Sensor Networks (WSN) is one of the technologies that better fulfills features like the ones required by Critical (Information) Infrastructures....
161
click to vote
DEON
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...