9739 search results - page 143 / 1948 » Object-Oriented Analysis and Design |
132
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
163
click to vote
ICSE
2009
IEEE-ACM
16 years 25 days ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
168
click to vote
ICC
2007
IEEE
16 years 11 days ago
2007
IEEE
— In this paper, we derive the theoretical symbol error rate (SER) for a full-rate space-time block coded (STBCed) system with coordinate interleaved orthogonal designs (CIODs) o...
166
click to vote
IEEECIT
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...
161
click to vote
OR
2004
Springer
15 years 11 months ago
2004
Springer
The combination of process integration and Operations Research enables an integrated technique assessment and a subsequent process design. The application of Multi Objective Pinch...