Sciweavers

3142 search results - page 39 / 629
» A formal approach for designing CORBA based applications
Sort
View
CAISE
2007
Springer
14 years 21 days ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst
TPDS
2010
166views more  TPDS 2010»
13 years 3 months ago
Configurable Middleware for Distributed Real-Time Systems with Aperiodic and Periodic Tasks
Different distributed real-time systems (DRS) must handle aperiodic and periodic events under diverse sets of requirements. While existing middleware such as Real-Time CORBA has sh...
Yuanfang Zhang, Christopher D. Gill, Chenyang Lu
ISCC
1999
IEEE
121views Communications» more  ISCC 1999»
14 years 29 days ago
Customer Service Management: Towards a Management Information Base for an IP Connectivity Service
Customer Service Management (CSM) offers a management interface between customer and service provider, which enables customers to individually monitor and control their subscribed...
Michael Langer, Stefan Loidl, Michael Nerb
ISORC
2000
IEEE
14 years 8 days ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
ER
2004
Springer
161views Database» more  ER 2004»
14 years 2 months ago
Applying the Application-Based Domain Modeling Approach to UML Structural Views
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
Arnon Sturm, Iris Reinhartz-Berger