Sciweavers

693 search results - page 103 / 139
» Integrating Organizational Requirements and Object Oriented ...
Sort
View
SIGSOFT
2007
ACM
16 years 7 months ago
Symbolic message sequence charts
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
Abhik Roychoudhury, Ankit Goel, Bikram Sengupta
AINA
2003
IEEE
15 years 10 months 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
AIPR
2001
IEEE
15 years 10 months ago
A Qualitative Image Reconstruction from an Axial Image Sequence
This paper presents a method to process axial monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only to ...
Philippe Guermeur, Edwige Pissaloux
ISSA
2004
15 years 7 months ago
Security Considerations In A Global Message Service Handler Design
: Web services are generally accepted as the most interoperable application interface today on the Web. In the context of a global electronic marketplace this is an essential facto...
Johannes J. van Eeden
ICSE
1999
IEEE-ACM
15 years 10 months ago
An Architectural Style for Multiple Real-Time Data Feeds
We present an architectural style for the integration of multiple real-time data feeds on Windows-NT platforms. We motivate the development of this style by highlighting different...
Neil Roodyn, Wolfgang Emmerich