9110 search results - page 1404 / 1822 » Formally-Based Design Evaluation |
205
click to vote
DCOSS
2010
Springer
15 years 11 months ago
2010
Springer
A number of wireless sensor network (WSN) applications demand timely data delivery. However, existing WSNs are designed to conserve energy and not to support timely data transmissi...
210
click to vote
AIRS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents an interactive content-based image retrieval framework--uInteract, for delivering a novel four-factor user interaction model visually. The four-factor...
201
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
Inspired by our past manual aspect mining experiences, this paper describes a random walk model to approximate how crosscutting concerns can be discovered in the absence of domain...
168
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Negotiation surrounds our day-to-day lives. Research in the field of automated negotiations has suggested the design and use of automated negotiators, on one hand to allow facilit...
153
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Abstract-- Process scaling and higher leakage power have resulted in increased power densities and elevated die temperatures. Due to the interdependence of temperature and leakage ...