3742 search results - page 722 / 749 » On the Use of Formal Techniques for Validation |
127
click to vote
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
101
click to vote
GLVLSI
2003
IEEE
15 years 7 months ago
2003
IEEE
Concerned by the wall that Moore’s Law is expected to hit in the next decade, the integrated circuit community is turning to emerging nanotechnologies for continued device impro...
123
click to vote
INFOCOM
2003
IEEE
15 years 7 months ago
2003
IEEE
— This paper studies TCP performance over multihop wireless networks that use the IEEE 802.11 protocol as the access method. Our analysis and simulations show that, given a speci...
131
click to vote
VISUALIZATION
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes the work of a team of researchers in computer graphics, geometric computing, and civil engineering to produce a visualization of the September 2001 attack on ...
168
click to vote
PPOPP
2003
ACM
15 years 7 months ago
2003
ACM
Large-scale cluster-based Internet services often host partitioned datasets to provide incremental scalability. The aggregation of results produced from multiple partitions is a f...