1611 search results - page 203 / 323 » Experimental Integration of Planning in a Distributed Contro... |
128
click to vote
ICTAI
2005
IEEE
15 years 10 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
140
click to vote
Publication
In contrast to sort-first, sort-last parallel rendering has the distinct advantage that the task division for parallel geometry processing and rasterization is simple, and can eas...
144
click to vote
SIGMOD
2000
ACM
15 years 9 months ago
2000
ACM
The DataLinks technology developed at IBM Almaden Research Center and now available in DB2 UDB 5.2 introduces a new data type called DATALINK for a database to reference and manag...
233
click to vote
GLOBAL
2003
Springer
15 years 10 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
143
click to vote
EDBT
2004
ACM
16 years 5 months ago
2004
ACM
Abstract. The paper discusses the design and prototype implementation of a QoS-aware multimedia database system. Recent research in multimedia databases has devoted little attentio...