2496 search results - page 419 / 500 » Error-detecting properties of languages |
COOPIS
2002
IEEE
15 years 6 months ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
116
click to vote
IEEEAMS
2002
IEEE
2002
IEEE
Understanding Consistency Maintenance in Service Discovery Architectures in Response to Message Loss
15 years 6 months ago
Current trends suggest future software systems will comprise collections of components that combine and recombine dynamically in reaction to changing conditions. Service-discovery...
122
click to vote
LICS
2002
IEEE
15 years 6 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
136
click to vote
SACMAT
2010
ACM
15 years 6 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
100
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...