873 search results - page 82 / 175 » E-voting: Dependability Requirements and Design for Dependab... |
146
click to vote
ADAEUROPE
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
189
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
141
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
Since IP packet reassembly requires resources, a denial of service attack can be mounted by swamping a receiver with IP fragments. In this paper we argue how this attack need not ...
143
click to vote
ISQED
2009
IEEE
16 years 1 months ago
2009
IEEE
An outstanding challenge for realizing nanoelectronic systems is nano-interface design, i.e., how to precisely access a nanoscale wire in an array for communication between a nano...
150
click to vote
IPPS
2007
IEEE
16 years 17 days ago
2007
IEEE
Last years have witnessed how crowd simulations have become an essential tool for many virtual environment applications. These applications require both rendering visually plausib...