2500 search results - page 312 / 500 » Logical Semantics of Modularisation |
170
click to vote
JURIX
2007
15 years 8 months ago
2007
Abstract. In this paper, we present a new ontology-based formalism for representing patent information. The framework defines concepts and relations for the major aspects of paten...
185
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
The paper presents an ontology-based approach to service discovery, apt to support flexible and efficient matchmaking between service descriptions. We propose a hybrid approach th...
155
click to vote
TCS
2008
15 years 6 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
162
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
164
click to vote
AAAI
2007
15 years 8 months ago
2007
Agents’ pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural an...