2136 search results - page 267 / 428 » A Game-Theoretic Operational Semantics |
156
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we discuss how the concept of ontology can be beneficial for the authoring support of Web-based educational systems (WBES). We take a semantic perspective on the know...
139
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
Attacks against Internet routing are increasing in number and severity. Contributing greatly to these attacks is the absence of origin authentication: there is no way to validate ...
157
click to vote
RIDE
2002
IEEE
15 years 11 months ago
2002
IEEE
Internet marketplaces are now faced with new challenges that arise from the need to seamlessly integrate enormous number of product catalogs from different sources. In order to he...
177
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
191
click to vote
ECOOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...