1221 search results - page 229 / 245 » On the Design of Robust Integrators for Fail-Bounded Control... |
CASES
2003
ACM
14 years 27 days ago
2003
ACM
The development of energy-conscious embedded and/or mobile systems exposes a trade-off between energy consumption and system performance. Recent microprocessors have incorporated ...
GIS
2004
ACM
14 years 8 months ago
2004
ACM
Recent growth of the geospatial information on the web has made it possible to easily access various maps and orthoimagery. By integrating these maps and imagery, we can create in...
ICSM
2005
IEEE
14 years 1 months ago
2005
IEEE
Clustering layouts of software systems combine two important aspects: they reveal groups of related artifacts of the software system, and they produce a visualization of the resul...
HYBRID
2010
Springer
14 years 23 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
CLEF
2008
Springer
13 years 9 months ago
2008
Springer
RAVE (Real-time Answer Validation Engine) is a logic-based answer validator/selector designed for real-time question answering. Instead of proving a hypothesis for each answer, RAV...