10263 search results - page 1909 / 2053 » From Use Cases to System Operation Specifications |
ACMICEC
2006
ACM
14 years 2 months ago
2006
ACM
This paper introduces a new class of information security solution. The core technology, to authorize and track the use of digital files, was originally developed in eCommerce app...
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Network intrusion detection systems (NIDSs) critically rely on processing a great deal of state. Often much of this state resides solely in the volatile processor memory accessibl...
ICPP
2005
IEEE
14 years 2 months ago
2005
IEEE
High performance intra-node communication support for MPI applications is critical for achieving best performance from clusters of SMP workstations. Present day MPI stacks cannot ...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
– The design of a free piston compressor (FPC) intended as a pneumatic power supply for pneumatically actuated autonomous robots is presented in this paper. The FPC is a proposed...
AMAI
2004
Springer
14 years 2 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...