2748 search results - page 411 / 550 » Generating Object-Z Specifications from Use Cases |
173
Voted
CAV
2009
Springer
15 years 7 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
142
Voted
EUROCRYPT
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We introduce a notion of instance-dependent verifiable random functions (InstD-VRFs for short). Informally, an InstD-VRF is, in some sense, a verifiable random function [...
129
Voted
AMDO
2006
Springer
15 years 7 months ago
2006
Springer
We present a facial deformation system that adapts a generic facial rig into different face models. The deformation is based on labels and allows transferring specific facial feat...
134
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
128
click to vote
DSD
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract-- Networks-on-Chip will serve as the central integration platform in future complex SoC designs, composed of a large number of heterogeneous processing resources. Most res...