1057 search results - page 133 / 212 » Testing from Formal Specifications, a Generic Approach |
WEBNET
2001
13 years 9 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...
HPDC
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper proposes a cache hierarchy that enables Web search engines to efficiently process user queries. The different caches in the hierarchy are used to store pieces of data w...
PERCOM
2005
ACM
14 years 7 months ago
2005
ACM
An event correlation is becoming an important service in event-based middleware allowing subscribers in publish/subscribe paradigm to consume patterns of events (composite events)...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— Traditionally, visual servoing is separated into tracking and control subsystems. This separation, though convenient, is not necessarily well justified. When tracking and cont...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...