6431 search results - page 710 / 1287 » Model Building by Resolution |
202
click to vote
CONCUR
2004
Springer
16 years 19 days ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
230
click to vote
ECOWS
2004
Springer
16 years 19 days ago
2004
Springer
Several extensions of the Web Services Framework have been proposed. The combination with Semantic Web technologies introduces a notion of semantics, which can enhance scalability ...
183
click to vote
ICCHP
2004
Springer
16 years 19 days ago
2004
Springer
In this paper, we present a study which aims at designing a locomotion assistance device that can deliver semantic information about its surrounding environment at any time. As a ...
203
click to vote
ISCIS
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. In this paper we describe anomaly-based intrusion detection as a specialized case of the more general behavior detection problem. We draw concepts from the field of etho...
162
click to vote
SEMWEB
2004
Springer
16 years 18 days ago
2004
Springer
Semantic Web resources — that is, knowledge representation formalisms existing in a distributed hypermedia system — require different addressing and processing models and capac...