3555 search results - page 419 / 711 » Security-Critical System Development with Extended Use Cases |
173
Voted
3DIM
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes the main features of an optical instrument for the acquisition and the registration of 3D images. The system exploits the projection of structured light, spec...
131
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
WASMII, a virtual hardware system that executes data
ow algorithms, is based on an MPLD, an extended FPGA with multiple sets of con guration SRAM. Although we have developed an emu...
154
click to vote
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
189
click to vote
ENTCS
2008
15 years 6 months ago
2008
We do not interact with systems without first performing some physical action on a physical device. This paper shows how formal notations and formal models can be developed to acc...
199
click to vote
JUCS
2002
15 years 6 months ago
2002
: WordNet (WN) is a lexical knowledge base, first developed for English and then adopted for several Western European languages, which was created as a machinereadable dictionary b...