1699 search results - page 62 / 340 » A timed semantics of Orc |
ATAL
1995
Springer
14 years 14 days ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
ENTCS
2008
13 years 9 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
ENTCS
2002
13 years 8 months ago
2002
Building on previous work [15,8], this paper describes two syntactic ways of defining `well-behaved' operational semantics for timed processes. In both cases, the rules are d...
ADBIS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Being able to activate triggers at timepoints reached or after time intervals elapsed has been acknowledged by many authors as a valuable functionality of a DBMS. Recentl...
ISPDC
2006
IEEE
14 years 2 months ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...