3047 search results - page 361 / 610 » On the Meaning of Logical Completeness |
AIS
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
CAISE
2006
Springer
15 years 2 months ago
2006
Springer
In this paper we present an e-librarian service which is able to retrieve multimedia resources from a knowledge base in a more efficient way than by browsing through an index or by...
107
click to vote
CAISE
2003
Springer
15 years 2 months ago
2003
Springer
We present our work on composing mobile Web services, denoted by M-services, in the wireless world. The wireless world has its own features that make it completely different from t...
FC
2000
Springer
15 years 2 months ago
2000
Springer
Abstract Two protocols for authentication based on symmetric key cryptography are described, where the verifier can be implemented in software completely, without the need for secu...
IFIP
2000
Springer
15 years 2 months ago
2000
Springer
: IEEE 802.11 is a wireless network standard that was completed in 1997. Unfortunately, the medium access protocol described in the standard meets some problems that arise from the...