216 search results - page 18 / 44 » Polymorphic Scenario-Based Specification Models: Semantics a... |
FAC
2008
13 years 8 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
WWW
2001
ACM
14 years 9 months ago
2001
ACM
Content understanding is a crucial issue for website adaptation. In this paper we present a Function-based Object Model (FOM) that attempts to understand authors' intention b...
AMAI
2008
Springer
13 years 8 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
OTM
2007
Springer
14 years 2 months ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
IADIS
2004
13 years 9 months ago
2004
This paper presents an architecture for Enterprise Application Integration with Web Services through the creation of meta-models in MDA(MODEL DRIVEN ARCHITECTURE). The proposed ar...