2540 search results - page 285 / 508 » Abstract Logics as Dialgebras |
103
Voted
ECBS
2007
IEEE
15 years 7 months ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
95
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— A fully-distributed collaborative multi-target tracking framework that eliminates the need for a central data associator or a central coordinating node for wireless sen...
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
IRI
2007
IEEE
15 years 7 months ago
2007
IEEE
As design complexities increase exponentially, automotive designers need integrated tool environments enabling system-level analyses of alternative architectural solutions. Hence,...
104
Voted
WISE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Rich Internet applications (RIAs) enable novel usage scenarios by overcoming the traditional paradigms of Web interaction. Conventional Web applications can be seen as re...