275 search results - page 39 / 55 » Operational and Logical Semantics for Polling Real-Time Syst... |
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
CLIMA
2007
15 years 2 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
124
click to vote
FLAIRS
2007
15 years 3 months ago
2007
The basic aim of the model proposed here is to automatically build semantic metatext structure for texts that would allow us to search and extract discourse and semantic informati...
104
click to vote
JAIR
2008
15 years 1 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
139
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...