4434 search results - page 728 / 887 » On the Composition of Hybrid Systems |
173
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Despite much research in the area of wireless sensor networks in recent years, the programming of sensor nodes is still time-consuming and tedious. A new paradigm which seems to b...
162
click to vote
BLISS
2008
IEEE
16 years 1 months ago
2008
IEEE
Constructing the face of a criminal from the selection of individual facial parts is a hard task. We have been working on a new system called EvoFIT that involves the selection an...
167
click to vote
CDC
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract— Cooperative steering controls enable mobile sampling platforms to conduct synoptic, adaptive surveys of dynamic spatiotemporal processes by appropriately regulating the...
174
click to vote
LICS
2008
IEEE
16 years 27 days ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
152
click to vote
CCS
2007
ACM
16 years 20 days ago
2007
ACM
In order to provide certified security services we must provide indicators that can measure the level of assurance that a complex business process can offer. Unfortunately the fo...