10038 search results - page 593 / 2008 » Model Checking for Managers |
187
click to vote
CAISE
2004
Springer
16 years 19 days ago
2004
Springer
Many information systems store their objects in a relational database. If the object schema or the relational schema of an application can change often or in an independent way, it...
127
click to vote
ICRA
2003
IEEE
16 years 16 days ago
2003
IEEE
-- In this paper we address the task of human-robot interaction in public mass exposition with several autonomous robots at a time. This implies questions regarding multi-robot con...
207
click to vote
GI
2003
Springer
16 years 13 days ago
2003
Springer
: Our current societies are fully dependent on large complex critical infrastructures (LCCIs). These LCCIs are large scale distributed systems that are highly interdependent, both ...
188
click to vote
AINA
2010
IEEE
16 years 10 days ago
2010
IEEE
Intelligent connected devices become a more vital part of our lives. In contrast to prior years, today embedded systems and devices are loosely coupled and cooperate with each oth...
157
click to vote
FPL
2009
Springer
15 years 12 months ago
2009
Springer
The reconfigurable mesh model for massively parallel computing has recently been rediscovered and proposed as the basis of a practical many-core architecture. With this paper, we...