9110 search results - page 499 / 1822 » Formally-Based Design Evaluation |
146
click to vote
BCSHCI
2007
15 years 8 months ago
2007
Sketch-based tools provide a more human centered design environment than traditional widget-based computer design software. A number of sketch tools exist that support specific de...
168
click to vote
JWSR
2007
15 years 6 months ago
2007
: Service discovery has been recognised as an important aspect in the development of service centric systems, i.e., software systems which deploy web services. To develop such syst...
213
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
161
click to vote
IACR
2011
14 years 6 months ago
2011
Abstract. In this paper, we analyze the security of AZUMI protocol which is compliant with the EPCClass-1 Generation-2 standard and recently has been proposed by Peris et al. This ...
191
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—We present the design and experimental evaluation of Simultaneous TRansmission with Orthogonally Blinded Eavesdroppers (STROBE). STROBE is a cross-layer approach that ex...