Sciweavers

9821 search results - page 280 / 1965
» A Framework for the Development of Protocols
Sort
View
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
15 years 12 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
SAC
2006
ACM
16 years 22 days ago
Evaluation of current architecture frameworks
With the growing importance of enterprise architecture the discussion about how to create or choose the right enterprise architecture framework for a specific organization arose q...
Susanne Leist, Gregor Zellner
FOSSACS
2000
Springer
15 years 10 months ago
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
Kai Engelhardt, Ron van der Meyden, Yoram Moses
IDMS
2000
Springer
139views Multimedia» more  IDMS 2000»
15 years 10 months ago
Design and Implementation of a Framework for Monitoring Distributed Component Interactions
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
Nikolay K. Diakov, Harold J. Batteram, Hans Zandbe...
EAAI
2006
75views more  EAAI 2006»
15 years 6 months ago
Multi-agent framework based on smart sensors/actuators for machine tools control and monitoring
Throughout the history, the evolutions of the requirements for manufacturing equipments have depended on the changes in the customers' demands. Among the present trends in th...
Xavier Desforges, Bernard Archimède