11212 search results - page 1820 / 2243 » Semi-persistent Data Structures |
170
click to vote
ICST
2008
IEEE
16 years 23 days ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
192
click to vote
ISMAR
2008
IEEE
16 years 23 days ago
2008
IEEE
Ubiquitous Tracking (Ubitrack) setups, consisting of many previously unknown sensors, offer many possibilities to perform sensor fusion in order to increase robustness and accurac...
149
click to vote
ISSRE
2008
IEEE
16 years 23 days ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
173
click to vote
P2P
2008
IEEE
16 years 22 days ago
2008
IEEE
Trees are fundamental structures for data dissemination in large-scale network scenarios. However, their inherent fragility has led researchers to rely on more redundant mesh topo...
137
click to vote
AINA
2007
IEEE
16 years 21 days ago
2007
IEEE
In this paper an agri-food traceability system based on public key cryptography and Radio Frequency Identification (RFID) technology is proposed. In order to guarantee safety in f...