12774 search results - page 2388 / 2555 » A Framework for Proof Systems |
186
click to vote
ICCS
2007
Springer
16 years 22 days 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...
209
click to vote
MIDDLEWARE
2007
Springer
16 years 21 days 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 ...
158
click to vote
DATE
2006
IEEE
16 years 19 days 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...
171
click to vote
ICRA
2006
IEEE
16 years 18 days 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...
166
click to vote
IEEEPACT
2006
IEEE
16 years 18 days 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...