4211 search results - page 551 / 843 » A formal approach to MASQ |
168
click to vote
FAABS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper presents a rigorous evaluation of a novel, distributed chemical plume tracing algorithm. The algorithm is a combination of the best aspects of the two most pop...
181
click to vote
FMCO
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
173
click to vote
FORMATS
2004
Springer
16 years 3 days ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
168
click to vote
GC
2004
Springer
16 years 3 days ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
154
click to vote
HYBRID
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...