3555 search results - page 404 / 711 » Security-Critical System Development with Extended Use Cases |
136
click to vote
ECIS
2003
15 years 8 months ago
2003
This research is located in the topic area of culture and information systems. It is set in the finance industry against the backdrop of globalisation. The particular focus is on ...
198
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
We examine the implications of a new hazard-free combinational logic synthesis method [8], which generates multiplexor trees from binary decision diagrams (BDDs) -- representation...
221
click to vote
FODO
1998
Springer
15 years 11 months ago
1998
Springer
In object-oriented database systems (OODB) with logical OIDs, an OID index (OIDX) is needed to map from OID to the physical location of the object. In a transaction time temporal ...
189
click to vote
VISUALIZATION
1991
IEEE
15 years 10 months ago
1991
IEEE
or vectors at every mesh point may lead to a very cluttered image. Continuous coloring or data mapping, on the other hand, provide a smooth representation of the data. The use of t...
144
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
We describe the formal models of two standards related to airport security: one at the international level and the other at the European level. These models are expressed using the...