3142 search results - page 31 / 629 » A formal approach for designing CORBA based applications |
WFLP
2000
Springer
14 years 7 days ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
ESSOS
2010
Springer
14 years 5 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
SERVICES
2010
13 years 10 months ago
2010
In this paper, we propose an approach based on Formal Concept Analysis in order to organize the services registry at runtime and to allow the "best" service selection am...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
ICECCS
2007
IEEE
14 years 16 days ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...