Sciweavers

11324 search results - page 19 / 2265
» Coordination Models and Languages
Sort
View
SCP
2010
172views more  SCP 2010»
13 years 6 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
CONNECTION
2008
109views more  CONNECTION 2008»
13 years 7 months ago
Object schemas for grounding language in a responsive robot
We introduce an approach for physically-grounded natural language interpretation by robots which reacts appropriately to unanticipated physical changes in the environment and dyna...
Kai-yuh Hsiao, Stefanie Tellex, Soroush Vosoughi, ...
IPSN
2005
Springer
14 years 1 months ago
Building up to macroprogramming: an intermediate language for sensor networks
Abstract— There is widespread agreement that a higher level programming model for sensor networks is needed. A variety of models have been developed, but the community is far fro...
Ryan Newton, Arvind, Matt Welsh
VLC
2008
132views more  VLC 2008»
13 years 7 months ago
Enforced generative patterns for the specification of the syntax and semantics of visual languages
We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to tran...
Paolo Bottoni, Esther Guerra, Juan de Lara
EICS
2010
ACM
14 years 11 days ago
User interface extensible markup language
We have developed GrafiXML, an original user interface builder in that it enables designers and developers to design several UIs simultaneously for multiple contexts of use, i.e. ...
David Faure, Jean Vanderdonckt