3928 search results - page 223 / 786 » order 2006 |
190
click to vote
AUSAI
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
192
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
e-Services are just as commercial services; however e-services can be fully ordered and provisioned via the Internet. Such e-services are often offered by a constellation of enterp...
213
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
This paper introduces an approach to mapping relational database contents to ontologies. The current effort is motivated by the need of including into the Semantic Web volumes of w...
200
click to vote
CASC
2006
Springer
15 years 11 months ago
2006
Springer
Homological Perturbation Theory [11, 13] is a well-known general method for computing homology, but its main algorithm, the Basic Perturbation Lemma, presents, in general, high com...
183
click to vote
CCS
2006
ACM
15 years 11 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...