7209 search results - page 1135 / 1442 » Software Engineering for Multi-Agent Systems |
FASE
2008
Springer
15 years 2 months ago
2008
Springer
In many distributed computing paradigms, especially sensor networks and ubiquitous computing but also grid computing and web services, programmers commonly tie their application to...
129
click to vote
FASE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
108
Voted
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
89
Voted
AVI
2010
15 years 2 months ago
2010
The use of gameplay has been shown to be an excellent educational tool, especially if such games are supported by innovative and engaging technologies. This paper presents two new...
127
click to vote
AVI
2010
15 years 2 months ago
2010
Urban environments require cognitive abilities focused on both spatial overview and detailed understanding of uses and places. These abilities are distinct but overlap and reinfor...