1636 search results - page 217 / 328 » Type-Theoretic Functional Semantics |
185
click to vote
SEMWEB
2009
Springer
16 years 20 days ago
2009
Springer
This paper presents the alignment results of Lily for the ontology alignment contest OAEI 2009. Lily is an ontology mapping system, and it has four functions: generic ontology matc...
155
click to vote
CSFW
2008
IEEE
16 years 18 days ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
135
Voted
CSSE
2008
IEEE
16 years 18 days ago
2008
IEEE
Instruction-Set Simulators (ISS) are indispensable tools for studying new architectures. There are several alternatives to achieve instruction set simulation, such as interpretive...
182
click to vote
IAT
2008
IEEE
16 years 18 days ago
2008
IEEE
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
176
click to vote
SOSE
2008
IEEE
16 years 15 days ago
2008
IEEE
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...