Sciweavers

1675 search results - page 195 / 335
» Compositional Model-Based Design
Sort
View
COMPSAC
2002
IEEE
14 years 2 months ago
The Method of Software Reliability Growth Models Choice Using Assumptions Matrix
The method of choice of the software reliability models based on the analysis of assumptions and compatibility both input and output parameters is offered. This method is illustra...
Vyacheslav S. Kharchenko, O. M. Tarasyuk, Vladimir...
WISE
2000
Springer
14 years 1 months ago
Architecture of a Content Management Server for XML Document Applications
The paper describes the data model used to implement the SIM Content Management Server, an SGML/XML-native content server designed to support extremely fast data access to and dyn...
Timothy Arnold-Moore, Michael Fuller, Alan J. Kent...
COORDINATION
2000
Springer
14 years 20 days ago
GCCS: A Graphical Coordination Language for System Specification
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
MKWI
2008
142views Business» more  MKWI 2008»
13 years 10 months ago
A Decentralized and Ontology-Based Approach to Infrastructure Monitoring
: We introduce infrastructure monitoring as an application domain that demands decentralized system designs. This is motivated by the large scale of these systems, the heterogeneit...
Florian Fuchs, Michael Berger
CRIWG
1998
13 years 10 months ago
A Cooperation Model for Teaching/Learning Modeling Disciplines
The use of new technology must be combined with modern teaching practices to be effective. Collaborative learning is a general term employed for a variety of classroom practices d...
Karin Becker, L. Zanella