1522 search results - page 167 / 305 » Practical Exception Specifications |
159
click to vote
CSSE
2004
IEEE
15 years 1 months ago
2004
IEEE
Abstract. Semantic Web technologies will deeply influence the further development of the Internet Economy. A major challenge is, however, to find a practical solution for trust pro...
116
click to vote
CSCW
2002
ACM
15 years 1 months ago
2002
ACM
Technology can play an important role in enabling people to interact with each other. The Web is one such technology with the affordances for sharing information and for connectin...
135
click to vote
ENTCS
2002
15 years 1 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
119
click to vote
JLP
2000
15 years 1 months ago
2000
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
125
click to vote
JUCS
2002
15 years 1 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...