2573 search results - page 365 / 515 » Combinations of Modal Logics |
159
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
This paper presents iXSCL, an XML based language for the specification of objects in the Soft Computing area. iXSCL adopts a compositional approach in which objects are construct...
169
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (t...
150
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes a method for risk analysis based on the approach used in CRAMM, but instead of using discrete measures for threats and vulnerabilities and lookup tables to de...
186
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...
163
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...