434 search results - page 45 / 87 » Structural Operational Semantics for Weighted Transition Sys... |
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
— In this paper we present our efforts to design a system for feeding back useful haptic information from a highly dynamic running robot to a remote operator using a haptic devic...
109
click to vote
SCP
2010
14 years 10 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
ANTSW
2004
Springer
15 years 5 months ago
2004
Springer
To anticipate and prevent acts of terrorism, Indications and Warnings analysts try to connect clues gleaned from massive quantities of complex data. Multi-agent approaches to suppo...
DEXAW
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a model of a nomadic middleware system with support for temporal consistency of structures semantically associated to XML-documents. Specially defined high-lev...
182
click to vote
SYRCODIS
2008
15 years 1 months ago
2008
In the last few years, XML became a de-facto standard for the exchange of structured and semi-structured data. The database research community took this development into account b...