12774 search results - page 2388 / 2555 » A Framework for Proof Systems |
203
Voted
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We describe a prototype emergency and disaster information system designed and implemented using DDDAS concepts. The system is designed to use real-time cell phone callin...
240
Voted
MIDDLEWARE
2007
Springer
16 years 1 months ago
2007
Springer
Research in context-aware computing has produced a number of application prototypes, frameworks, middlewares and models for describing context. However, development of ubiquitous ...
182
Voted
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
183
Voted
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— Model based object tracking has earned significant importance in areas such as augmented reality, surveillance, visual servoing, robotic object manipulation and grasping. Alth...
184
Voted
IEEEPACT
2006
IEEE
16 years 1 months ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...