Sciweavers

12670 search results - page 362 / 2534
» Requirements Modeling
Sort
View
ISN
1999
Springer
112views Communications» more  ISN 1999»
15 years 11 months ago
Modelling Management Components for Reuse Using UML
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...
David Lewis, Chris Malbon, Alina DaCruz
SCCC
1998
IEEE
15 years 11 months ago
An Adaptive Model for Programming Distributed Real-Time Applications in CORBA
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...
Carlos Montez, Rômulo Silva de Oliveira, Jon...
SIGSOFT
1998
ACM
15 years 11 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
DEXAW
1996
IEEE
100views Database» more  DEXAW 1996»
15 years 11 months ago
An Incremental Update Propagation Scheme for a Cooperative Transaction Model
Engineeringdesign applications require the support of long transactions in cooperative environments, The problem of the existing copy/update/merge approaches is that thepartial ef...
Am-suk Oh, Jin-oh Choi, Bonghee Hong
CAV
1997
Springer
202views Hardware» more  CAV 1997»
15 years 11 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi