10159 search results - page 1847 / 2032 » System Design Validation Using Formal Models |
114
click to vote
ISEMANTICS
2010
15 years 3 months ago
2010
The project SESAME uses semantic modeling and reasoning to support home owners and building managers in saving energy and in optimizing their energy costs while maintaining their ...
156
Voted
AAMAS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract In this paper, we present a human-robot teaching framework that uses "virtual" games as a means for adapting a robot to its user through natural interaction in a...
128
click to vote
DAC
2008
ACM
16 years 3 months ago
2008
ACM
1 Soft errors induced by radiation are an increasing problem in the microelectronic field. Although traditional models estimate the reliability of memories suffering Single Event U...
122
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
97
Voted
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
In building a successful website it is imperative that the design matches the organization’s objectives, which should be well defined. Clearly, different types of websites will ...