1875 search results - page 294 / 375 » A Calculus of Broadcasting Systems |
210
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
101
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...
126
click to vote
FMCO
2003
Springer
15 years 6 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
100
Voted
AICOM
2006
15 years 23 days ago
2006
In this work we present a backjumping technique for Disjunctive Logic Programming (DLP) under the Answer Set Semantics. It builds upon related techniques that had originally been p...
92
Voted
ICFP
2006
ACM
16 years 20 days ago
2006
ACM
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...