1288 search results - page 225 / 258 » On Analysis of Design Component Contracts: A Case Study |
113
click to vote
DAC
2004
ACM
16 years 2 months ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
116
click to vote
CHI
1999
ACM
15 years 5 months ago
1999
ACM
We describe the i-LAND environment which constitutes an example of our vision of the workspaces of the future, in this case supporting cooperative work of dynamic teams with chang...
112
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
We introduce the notion of resiliency policies in the context of access control systems. Such policies require an access control system to be resilient to the absence of users. An...
100
click to vote
HRI
2006
ACM
15 years 7 months ago
2006
ACM
Along with the development of interactive robots, controlled experiments and field trials are regularly conducted to stage human-robot interaction. Experience in this field has sh...
125
click to vote
WIOPT
2010
IEEE
14 years 11 months ago
2010
IEEE
—Energy optimization is a significant component of Wireless Sensor Network (WSN) design. In this paper we consider transmission energy optimization in WSNs where messages are co...