396 search results - page 57 / 80 » Using Refinement Checking as System Testing |
DEBS
2008
ACM
14 years 11 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
115
Voted
TVLSI
2008
14 years 9 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
FLAIRS
1998
14 years 11 months ago
1998
Reinforcement learning (RL) problems constitute an important class of learning and control problems faced by artificial intelligence systems. In these problems, one is faced with ...
102
click to vote
AADEBUG
2005
Springer
15 years 3 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
We propose a system to use QR codes and cheap cell phones to alleviate some challenges faced by the chronically homeless. We propose combining the affordability, simplicity and po...