Sciweavers

693 search results - page 103 / 139
» Integrating Organizational Requirements and Object Oriented ...
Sort
View
85
Voted
SIGSOFT
2007
ACM
16 years 1 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 4 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
110
Voted
AIPR
2001
IEEE
15 years 4 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
100
Voted
ISSA
2004
15 years 1 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
114
Voted
ICSE
1999
IEEE-ACM
15 years 4 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