4693 search results - page 407 / 939 » Verifying Hybrid Systems |
217
click to vote
CL
2008
Springer
15 years 7 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
210
click to vote
WEBI
2001
Springer
15 years 11 months ago
2001
Springer
As meta-data become of ever more importance to the Web, we will need to start managing such meta-data. We argue that there is a strong need for meta-data validation and aggregation...
190
click to vote
ISMAR
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper presents a model-based hybrid tracking system for outdoor augmented reality in urban environments enabling accurate, realtime overlays for a handheld device. The system...
224
click to vote
VLDB
2004
ACM
16 years 5 days ago
2004
ACM
In this paper, we address the problem of designing a scalable, accurate query processor for peerto-peer filesharing and similar distributed keyword search systems. Using a global...
185
click to vote
CEEMAS
2003
Springer
16 years 2 days ago
2003
Springer
Flexibility and adaptability are essential properties of intelligent manufacturing systems. However, it is a major challenge to realize these properties and the benefits of a flexi...