2599 search results - page 309 / 520 » An Operational Semantics for Knowledge Bases |
181
click to vote
AUSFORENSICS
2004
15 years 8 months ago
2004
In cases involving computer related crime, event oriented evidence such as computer event logs, and telephone call records are coming under increased scrutiny. The amount of techn...
208
click to vote
WEBDB
2010
Springer
15 years 4 months ago
2010
Springer
The Semantic Web, which represents a web of knowledge, offers new opportunities to search for knowledge and information. To harvest such search power requires robust and scalable ...
157
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
The model of overloading views is a facility allowing the programmer to separate some kinds of crosscutting concerns that occur during design, implementation and maintenance of dat...
219
click to vote
SOSYM
2002
15 years 6 months ago
2002
Abstract. There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The dynamic integ...
180
click to vote
VEE
2006
ACM
16 years 15 days ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...