Sciweavers

5718 search results - page 798 / 1144
» Modeling Rule Precision
Sort
View
186
Voted
ICPR
2000
IEEE
15 years 12 months ago
Generalized Non-Reducible Descriptors
This paper provides a generalization of non-reducible descriptors by extending the concept of distance between patterns of di erent classes. Generalized non-reducible descriptors ...
Ventzeslav Valev, Bülent Sankur, Petia Radeva
TOOLS
2000
IEEE
15 years 11 months ago
A Method for the Design and Development of Distributed Applications Using UML
With this contribution we present a design and development method for distributed applications, which are running on top of advanced object middleware platforms. We introduce the ...
Marc Born, Eckhardt Holz, Olaf Kath
AMAST
2000
Springer
15 years 11 months ago
Time and Probability in Process Algebra
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extens...
Suzana Andova
COORDINATION
2000
Springer
15 years 11 months ago
The LuCe Coordination Technology for MAS Design and Development on the Internet
Internet-based multi-agent systems call for new metaphors, abstractions, methodologies and enabling technologies specifically tailored to agent-oriented engineering. While coordin...
Enrico Denti, Andrea Omicini, Vladimiro Toschi
214
Voted
CRYPTO
2000
Springer
182views Cryptology» more  CRYPTO 2000»
15 years 11 months ago
A Note on the Round-Complexity of Concurrent Zero-Knowledge
Abstract. We present a lower bound on the number of rounds required by Concurrent Zero-Knowledge proofs for languages in NP. It is shown that in the context of Concurrent Zero-Know...
Alon Rosen