59 search results - page 5 / 12 » Automated Semantic Analyses of Conceptual Models |
FOIKS
2006
Springer
14 years 9 days ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
CRYPTO
2006
Springer
14 years 11 days ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
AAMAS
2004
Springer
13 years 8 months ago
2004
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. The complex interactions of ag...
WISE
2003
Springer
14 years 1 months ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
ICSOC
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Moving towards a global market of services requires flexible infrastructures that will deal with the inevitable semantic heterogeneity that occurs during the negotiation ...