9110 search results - page 356 / 1822 » Formally-Based Design Evaluation |
177
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
Multicast services are demanded by a variety of applications. Many applications require anonymity during their communication. However, there has been very little work on anonymous...
140
click to vote
ISPDC
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper presents the design of InfiniWrite, the implementation of a lightweight communication interface called RWAPI over the InfiniBand interconnect for clusters of PCs. Sinc...
180
click to vote
SENSYS
2006
ACM
16 years 18 days ago
2006
ACM
We present the design, implementation, and evaluation of the Acoustic Embedded Networked Sensing Box (ENSBox), a platform for prototyping rapid-deployable distributed acoustic sen...
169
click to vote
EVOW
2005
Springer
16 years 5 days ago
2005
Springer
We present a novel camera network design methodology based on the Parisian approach to evolutionary computation. The problem is partitioned into a set of homogeneous elements, whos...
169
click to vote
ICDT
2005
ACM
16 years 5 days ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...