1988 search results - page 279 / 398 » Engineering formal metatheory |
149
click to vote
TASE
2008
IEEE
16 years 24 days ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
171
click to vote
APSEC
2007
IEEE
16 years 24 days ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
152
click to vote
CSMR
2007
IEEE
16 years 23 days ago
2007
IEEE
Libraries provide implementation for the concepts of a particular domain. When programmers use a library, they do not work any more with the real-world concepts but with their imp...
145
click to vote
KBSE
2007
IEEE
16 years 21 days ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
186
click to vote
QSIC
2007
IEEE
16 years 21 days ago
2007
IEEE
In semantics-based component retrieval ontology is usually employed as the semantic basis for component representation and matching. Existing methods always assume that the ontolo...