12981 search results - page 618 / 2597 » Model Checking (Abstract) |
184
click to vote
CAISE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than re...
246
click to vote
FASE
2003
Springer
16 years 21 days ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
192
click to vote
DATE
2000
IEEE
15 years 12 months ago
2000
IEEE
In this paper, we introduce a discrete-time model for the complete power supply sub-system that closely approximates the behavior of its circuit-level (i.e., HSpice), continuous-t...
173
click to vote
ECAI
1994
Springer
15 years 11 months ago
1994
Springer
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
226
Voted
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...