1416 search results - page 133 / 284 » An Intelligent IT Infrastructure for the Future |
164
Voted
APN
2003
Springer
15 years 10 months ago
2003
Springer
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of ...
207
Voted
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
202
Voted
ATAL
1995
Springer
15 years 10 months 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...
224
click to vote
AAAI
2007
15 years 9 months ago
2007
The future success of application layer video multicast depends on the availability of video stream distribution methods that can scale in the number of stream senders and receive...
153
click to vote
AAAI
2007
15 years 9 months ago
2007
The automated planning community has traditionally focused on the efficient synthesis of plans given a complete domain theory. In the past several years, this line of work met wi...