2753 search results - page 305 / 551 » An architecture model for supporting application integration... |
190
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
194
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes the architecture and concept of operation of a Framework for Adaptive Process Modeling and Execution (FAME). The research addresses the absence of robust meth...
263
click to vote
ICDE
2001
IEEE
16 years 8 months ago
2001
IEEE
We propose an extension to current view-based mediator systems called model-based mediation, in which views are defined and executed at the level of conceptual models (CMs) rather...
297
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Scientific workflows have gained great momentum in recent years due to their critical roles in e-Science and cyberinfrastructure applications. However, some tasks of a scientific w...
177
click to vote
EDOC
2003
IEEE
16 years 1 days ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...