9110 search results - page 1621 / 1822 » Formally-Based Design Evaluation |
166
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Establishing trust amongst agents is of central importance to the development of well-functioning multi-agent systems. For example, the anonymity of transactions on the Internet c...
159
click to vote
CONEXT
2009
ACM
15 years 5 months ago
2009
ACM
Recent analytical and experimental work demonstrate that IEEE 802.11-based wireless mesh networks are prone to turbulence. Manifestations of such turbulence take the form of large...
143
click to vote
CONEXT
2009
ACM
15 years 5 months ago
2009
ACM
We investigate the feasibility of content distribution between devices mounted in moving vehicles using commodity WiFi. We assume that each device stores content in a set of files...
133
click to vote
FAST
2010
15 years 5 months ago
2010
This paper presents the design, implementation and evaluation of Direct File System (DFS) for virtualized flash storage. of using traditional layers of abstraction, our layers of ...
187
click to vote
FUNGAMES
2010
15 years 5 months ago
2010
Autonomic Computing is now showing its value as a solution to the increased complexities of maintaining computer systems and has been applied to many different fields. In this pap...