2765 search results - page 71 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
188
click to vote
NGC
1998
Springer
15 years 6 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
145
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
The main drive for Model-Driven Architecture is that many software applications have to be deployed on a variety of platforms. The way MDA achieves this is by transforming a platfo...
242
click to vote
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
164
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
Ontology mapping is to find semantic correspondences between similar elements of different ontologies. It is critical to achieve semantic interoperability in the WWW. This paper pr...
164
click to vote
VAMOS
2010
Springer
15 years 7 months ago
2010
Springer
Feature models are a common way to represent variability in software product line engineering. For this purpose, most authors use a graphical notation based on FODA. The main drawb...