1992 search results - page 327 / 399 » Model Based Testing with Labelled Transition Systems |
MFPS
1989
15 years 6 months ago
1989
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...
109
click to vote
PICS
2000
15 years 3 months ago
2000
Digital photography has the potential to supersede conventional film photography. In order to realize this potential, digital photography needs to provide the best image quality a...
156
Voted
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract- We introduce metrics on sensorimotor experience at various temporal scales based on informationtheory. Sensorimotor variables through which the experience of an agent ļ¬...
109
click to vote
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
93
Voted
HT
2006
ACM
15 years 8 months ago
2006
ACM
This paper presents a new deļ¬nition of context for contextaware computing based on a model that relies on dynamic queries over structured objects. This new model enables develop...