3387 search results - page 219 / 678 » Automating the Metamodeling Process |
176
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...
163
click to vote
TPHOL
2000
IEEE
15 years 10 months ago
2000
IEEE
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
196
click to vote
IADIS
2004
15 years 8 months ago
2004
In this study, we explore the construction of a faceted vocabulary that can be used as a mechanism for organizing Web-based resources. After analyzing the manual process of facete...
164
click to vote
AIMS
2008
Springer
16 years 26 days ago
2008
Springer
Highly available and resilient networks play a decisive role in today’s networked world. As network faults are inevitable and networks are becoming constantly intricate, finding...
177
click to vote
ECOWS
2006
Springer
15 years 8 months ago
2006
Springer
The automated composition of Web services is one of the most promising ideas and at the same time one of the most challenging research area for the taking off of serviceoriented a...