5200 search results - page 928 / 1040 » Symbolic models for control systems |
166
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
We introduce a novel case study in which a group of miniaturized robots screen an environment for undesirable agents, and destroy them. Because miniaturized robots are usually end...
170
Voted
ISORC
2002
IEEE
15 years 10 months ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
185
click to vote
VIS
2008
IEEE
16 years 6 months ago
2008
IEEE
Abstract-- Methods that faithfully and robustly capture the geometry of complex material interfaces in labeled volume data are important for generating realistic and accurate visua...
157
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
Denial of Service (DoS) attacks are serious threats for network societies. For dealing with DoS attacks, Jakobsson and Juels first proposed the notion of useful client puzzles (UC...
157
click to vote
DASFAA
2009
IEEE
16 years 11 days ago
2009
IEEE
Abstract. The lack of flexibility is often seen as an inhibitor for the successful application of workflow technology. Many researchers have proposed different ways of addressin...