Sciweavers

686 search results - page 15 / 138
» Behavior Protocols for Software Components
Sort
View
COMSWARE
2006
IEEE
14 years 2 months ago
Case study on the use of SDL for specifying an IETF micro mobility protocol
—Recent protocols are become increasingly complex, and lead to further level of complexity when used in combination, often resulting in ambiguous behavior. This paper, starting f...
Telemaco Melia, Amardeo Sarma, Rui L. Aguiar, Diet...
MIDDLEWARE
2004
Springer
14 years 1 months ago
Developing and Managing Software Components in an Ontology-Based Application Server
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
Daniel Oberle, Andreas Eberhart, Steffen Staab, Ra...
ICSE
2010
IEEE-ACM
14 years 1 months ago
Legacy component integration by the Fujaba real-time tool suite
We present a Tool Suite which supports the (re-)construction of a behavioral model of a legacy component based on a learning approach by exploiting knowledge of known models of th...
Stefan Henkler, Jan Meyer, Wilhelm Schäfer, M...
SIGSOFT
2009
ACM
14 years 9 months ago
Synthesizing partial component-level behavior models from system specifications
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvid...
ISI
2007
Springer
13 years 8 months ago
Outil autonome de surveillance de grilles
ABSTRACT. Grids have become very complex. It makes the deployment and maintenance of systems a difficult task requiring lots of efforts from administrators. We believe that peer-t...
Laurent Baduel, Satoshi Matsuoka