3573 search results - page 54 / 715 » Reasoning about Codata |
122
click to vote
FMCO
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
86
Voted
IFIP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for sy...
ITS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
SEMWEB
2004
Springer
15 years 4 months ago
2004
Springer
103
click to vote
AGP
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...