Sciweavers

1669 search results - page 141 / 334
» Modeling ODP Computational Specifications Using UML
Sort
View
DSVIS
1995
Springer
14 years 21 days ago
On the Expression of Interaction Properties within an Interactor Model
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
Panos Markopoulos
IEEESCC
2005
IEEE
14 years 2 months ago
Transforming Business Process Models: Enabling Programming at a Higher Level
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
Wei Zhao, Barrett R. Bryant, Fei Cao, Kamal Bhatta...
AINA
2003
IEEE
14 years 24 days ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
BMVC
2010
13 years 7 months ago
A principled approach to remove false alarms by modelling the context of a face detector
In this article we present a new method to enhance object detection by removing false alarms in a principled way with few parameters. The method models the output of an object cla...
Cosmin Atanasoaei, Chris McCool, Sébastien ...
COORDINATION
2006
Springer
14 years 27 days ago
Automated Evaluation of Coordination Approaches
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
Tibor Bosse, Mark Hoogendoorn, Jan Treur