2685 search results - page 509 / 537 » A Formal Semantics for SPKI |
160
click to vote
EKAW
2004
Springer
15 years 11 months ago
2004
Springer
For more than a decade, ontologies have been proposed as a means to enable sharing and reuse of knowledge. While originally relatively narrow information landscapes have been in mi...
154
Voted
KR
2004
Springer
15 years 11 months ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...
172
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
180
click to vote
AC
2000
Springer
15 years 10 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
166
click to vote
RAID
1999
Springer
15 years 10 months ago
1999
Springer
: I will discuss two efforts to get Intrusion Detection Systems to work together - the Common Intrusion Detection Framework (CIDF), and the IETF's working group to develop an ...