587 search results - page 21 / 118 » A Formal Framework for Developing Adaptable Service-Based Ap... |
FMCAD
2007
Springer
14 years 22 days ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
WETICE
1998
IEEE
14 years 1 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...
NGITS
1999
Springer
14 years 1 months ago
1999
Springer
The integration of information from multiple databases has been an enduring subject of research for over 20 years, and many different solutions have been attempted or proposed. Mis...
COOPIS
2002
IEEE
14 years 1 months ago
2002
IEEE
The Neem Platform is a research test bed for Project Neem, concerned with the development of socially and culturally aware collaborative systems in a wide range of domains, through...
ICAC
2009
IEEE
14 years 21 days ago
2009
IEEE
In large-scale, distributed software systems, an important management undertaking concerns the creation and runtime modification of application instances. This short paper propose...