546 search results - page 32 / 110 » An Action Semantics for MML |
112
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Semantic Web technology is intended for the retrieval, collection, and analysis of meaningful data with significant automation afforded by machine understandability of data [1]. A...
106
click to vote
ENTCS
2008
15 years 2 months ago
2008
Progress, Extended Abstract) Philippe Jorrand1 Simon Perdrix2 Leibniz Laboratory IMAG-INPG Grenoble, France The aim of this paper is to introduce a general model of quantum comput...
108
Voted
OTM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The Web of today can be seen as an active and heterogeneous infrastructure of autonomous systems, where reactivity, evolution and propagation of information and changes p...
107
click to vote
DFG
2004
Springer
15 years 7 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
121
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...