587 search results - page 16 / 118 » A Formal Framework for Developing Adaptable Service-Based Ap... |
CL
2008
Springer
13 years 9 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
CASCON
2006
13 years 10 months ago
2006
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
TSD
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we present an adaptive architecture for interaction and dialogue management in spoken dialogue applications. This architecture is targeted for applications that adapt...
ESORICS
2002
Springer
14 years 8 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
EUC
2004
Springer
14 years 2 months ago
2004
Springer
The Distributed Object Group Framework(DOGF) we constructed supports the grouping of distributed objects that are required for distributed application. From the DOGF, we manage dis...