809 search results - page 107 / 162 » Requirements by Contracts allow Automated System Testing |
EUROSSC
2007
Springer
15 years 6 months ago
2007
Springer
We introduce, characterize and test a vision-based dead-reckoning system for wearable computing that allows to track the user’s trajectory in an unknown and non-instrumented envi...
ADBIS
2007
Springer
15 years 6 months ago
2007
Springer
Replication is crucial to achieve high availability distributed systems. However, non-determinism introduces consistency problems between replicas. Transactions are very well suite...
SENSYS
2009
ACM
15 years 6 months ago
2009
ACM
Soil contains vast ecosystems that play a key role in the Earth’s water and nutrient cycles, but scientists cannot currently collect the high-resolution data required to fully u...
DAC
2002
ACM
16 years 24 days ago
2002
ACM
The next generation of computer chips will continue the trend for more complexity than their predecessors. Many of them will contain different chip technologies and are termed SoC...
103
click to vote
ICCBR
1997
Springer
15 years 4 months ago
1997
Springer
Realistic and complex planning situations require a mixed-initiative planning framework in which human and automated planners interact to mutually construct a desired plan. Ideally...