1396 search results - page 73 / 280 » A Tale of Two Futures |
CAISE
2005
Springer
14 years 3 months ago
2005
Springer
We foresee that ontologies for interoperability are likely organized by a loosely linked network. In the case of digital libraries, the network is realized by a federation of ontol...
CIVR
2005
Springer
14 years 3 months ago
2005
Springer
A system for video retrieval from a ubiquitous environment is presented. Data from pressure-based floor sensors are used as a supplementary input for retrieving video from a large...
SEKE
2005
Springer
14 years 3 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
VSTTE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
ASPDAC
2004
ACM
14 years 3 months ago
2004
ACM
The design of future high-performance embedded systems is hampered by two problems: First, the required hardware needs more energy than is available from batteries. Second, curren...