2838 search results - page 267 / 568 » Verifying Controlled Components |
186
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
This paper summarizes value analysis of adopting technologysupported attendance control service in a primary school. The results are based on a case study that explored a 14-week ...
134
click to vote
ASPLOS
2006
ACM
16 years 18 days ago
2006
ACM
Modern cars contain a multitude of micro controllers for a wide area of tasks. The diversity of the heterogeneous hardware and software leads to a complicated and expensive integr...
176
click to vote
ATAL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this paper, we consider the issue of designing agents that successfully balance the amount of time spent in reconsidering their intentions against the amount of time s...
153
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents STEPS, an innovative softwarebased approach for testing P1500-compliant SoCs. STEPS is based on the concept that the ATE is not considered as an initiator appl...
168
click to vote
IJRR
2011
15 years 1 months ago
2011
We present a novel approach to legged locomotion over rough terrain that is thoroughly rooted in optimization. This approach relies on a hierarchy of fast, anytime algorithms to p...