700 search results - page 67 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
IANDC
2008
15 years 1 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
135
Voted
WSC
2004
15 years 2 months ago
2004
Nowadays, in a hotly competitive environment, companies are continuously trying to provide products and/or services to customers faster, cheaper, and better than the competitors d...
156
click to vote
CEFP
2007
Springer
15 years 7 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
112
click to vote
KI
2002
Springer
15 years 1 months ago
2002
Springer
In many approaches for qualitative spatial reasoning, navigation of an agent in a more or less static environment is considered (e.g. in the double-cross calculus [12]). However, i...
101
click to vote
ELPUB
2008
ACM
15 years 3 months ago
2008
ACM
It has been noted that one of the potential benefits of Open Access is the increase in visibility for research output from less developed countries. However little is known about ...