8377 search results - page 89 / 1676 » Scenarios - Introduction |
BIRTE
2006
15 years 3 months ago
2006
CAV
2006
Springer
2006
Springer
Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs
15 years 3 months ago
EUROMICRO
2004
IEEE
15 years 3 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...
CRITIS
2006
15 years 3 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....
115
click to vote
DEON
2006
Springer
15 years 3 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...