9145 search results - page 345 / 1829 » Description Logic Systems |
174
click to vote
FSTTCS
2007
Springer
16 years 28 days ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
186
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...
165
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
172
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
—Sailing experts can explain basic sailing skills by rules about how to steer sails and rudder according to direction of target and wind. This paper describes how to transform th...
188
click to vote
DBISP2P
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p sys...