615 search results - page 31 / 123 » High-Level Nondeterministic Abstractions in |
NOMS
2000
IEEE
14 years 3 months ago
2000
IEEE
ot only high level description of abstract policy, but also enables such policy to be refined and eventually mapped into an appropriate configuration for controlling devices in the...
SPW
1997
Springer
14 years 3 months ago
1997
Springer
This paper describes security protocols that use anonymous channels as primitive, much in the way that key distribution protocols ryption as primitive. This abstraction allows us t...
CAISE
1995
Springer
14 years 2 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
PAAMS
2010
Springer
13 years 8 months ago
2010
Springer
This presents a study in which a high level abstract architecture was used to design open multi-agent systems and virtual organizations that offer services with temporal constraint...
COCOON
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We investigate the computing power of stateless multicounter machines with reversal-bounded counters. Such a machine can be deterministic, nondeterministic, realtime (the...