10159 search results - page 1720 / 2032 » System Design Validation Using Formal Models |
168
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Virtual agents designed to establish relationships with more than one user must be able to identify and distinguish among those users with high reliability. We descr...
201
click to vote
CASES
2005
ACM
15 years 8 months ago
2005
ACM
Dynamic frequency scaling and dynamic voltage scaling have been developed to save power and/or energy for general purpose computing platforms and high-end embedded systems. This p...
177
click to vote
SIGGRAPH
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes the integration of the Berkeley Architectural Walkthrough Program with the National Institute of Standards and Technology’s CFAST fire simulator. The integ...
169
click to vote
HICSS
2003
IEEE
16 years 12 hour ago
2003
IEEE
This paper describes the design and evaluation of COLER, a computer mediated learning environment that includes a software coach to help students collaborate while solving Entity ...
175
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
A frequently proposed solution to node misbehavior in mobile ad hoc networks is to use reputation systems. But in ephemeral networks - a new breed of mobile networks where contact...