3081 search results - page 97 / 617 » A Formal Ontology of Properties |
183
click to vote
IEEESCC
2005
IEEE
15 years 12 months ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
174
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
175
click to vote
AAAI
1994
15 years 7 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
151
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
172
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...