1202 search results - page 116 / 241 » Sortings for Reactive Systems |
134
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
124
click to vote
FDG
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, I will discuss a set of techniques for supporting limited variable binding in behavior-based systems. This adds additional useful expressivity while preserving the ...
124
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
The paper deals with on-board planning for a satellite swarm via communication and negotiation. We aim at defining individual behaviours that result in a global behaviour that me...
111
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
ant Talks Abstracts Modelling Tools: Claudia Ermel: Tiger Harmen Kastenberg: GROOVE Christian Köhler: EMF Model Transformation Ákos Horváth: The VIATRA2 Model Transformation Fra...
131
click to vote
MMM
2005
Springer
15 years 10 months ago
2005
Springer
We present a system for real-time configuration of multimodal interfaces to Virtual Environments (VE). The flexibility of our tool is supported by a semantics-based representati...