1548 search results - page 198 / 310 » Semantics and Extensions of WS-Agreement |
133
click to vote
DBPL
2007
Springer
15 years 12 months ago
2007
Springer
Martens et al. defined a pattern-based specification language equivalent in expressive power to the widely adopted XML Schema definitions (XSDs). This language consists of rules...
138
click to vote
ECSQARU
2007
Springer
15 years 12 months ago
2007
Springer
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics as an extension o...
147
click to vote
ESORICS
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Information security is a pressing challenge for mobile code technologies. In order to claim end-to-end security of mobile code, it is necessary to establish that the cod...
150
click to vote
LFCS
2007
Springer
15 years 12 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
170
click to vote
NLDB
2007
Springer
15 years 12 months ago
2007
Springer
Information retrieval needs to match relevant texts with a given query. Selecting appropriate parts is useful when documents are long, and only portions are interesting to the user...