1711 search results - page 61 / 343 » Completing pseudojump operators |
ACSD
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
CEEMAS
2003
Springer
14 years 1 months ago
2003
Springer
We present an agent-based Producer/Consumer scenario, that is the key element of manufacturing systems and therefore of utmost importance. We call it a MSWS-system, which is made u...
ICDT
2003
ACM
14 years 1 months ago
2003
ACM
XPath is a simple language for navigating an XML tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various fragm...
FSE
2010
Springer
14 years 21 days ago
2010
Springer
In this paper we analyze the security of systems based on modular additions, rotations, and XORs (ARX systems). We provide both theoretical support for their security and practical...
DALT
2009
Springer
14 years 16 days ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...