110 search results - page 5 / 22 » Heterogeneous Reactive Systems Modeling and Correct-by-Const... |
135
click to vote
GLOBECOM
2007
IEEE
15 years 12 months ago
2007
IEEE
— The optimal deployment of sinks in a sensor region for power efficient data gathering of a physical phenomenon is investigated in this work. In the system of consideration, no...
163
click to vote
SOFSEM
2007
Springer
15 years 11 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
150
click to vote
CD
2004
Springer
15 years 11 months ago
2004
Springer
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...
162
click to vote
CDC
2010
IEEE
15 years 17 days ago
2010
IEEE
Abstract-- In robot deployment problems, the fundamental issue is to optimize a steady state performance measure that depends on the spatial configuration of a group of robots. For...
154
click to vote
JODS
2008
15 years 5 months ago
2008
Joining up services in e-Government usually implies governmental agencies acting in concert without a central control regime. This requires to the sharing scattered and heterogeneo...