28095 search results - page 5544 / 5619 » D |
188
click to vote
RTAS
2010
IEEE
15 years 3 months ago
2010
IEEE
Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration issues involved in satisfying multiple quality f...
171
click to vote
SAC
2010
ACM
15 years 3 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
175
click to vote
SAGT
2010
Springer
15 years 3 months ago
2010
Springer
We analyze the performance of single-parameter mechanisms for markets in which there is competition amongst both consumers and suppliers (namely, two-sided markets). Specifically, ...
177
click to vote
SECON
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--With the convergence of ultra-low-power communications and energy-harvesting technologies, networking selfsustainable ubiquitous devices is becoming feasible. Hence, we h...
225
click to vote
SENSYS
2010
ACM
15 years 3 months ago
2010
ACM
Enix is a lightweight dynamic operating system for tightly constrained platforms for wireless sensor networks (WSN). Enix provides a cooperative threading model, which is applicab...