Sciweavers

6291 search results - page 232 / 1259
» Components Are from Mars
Sort
View
ICSE
2003
IEEE-ACM
15 years 11 months ago
Architecture as an Emergent Property of Requirements Integration
Functional requirements contain, and systems exhibit, the behavior summarized below.Despite the advances in software engineering since 1968, how to go from a set of functional req...
R. Geoff Dromey
ANSS
2007
IEEE
16 years 6 days ago
Evaluating the Design of Biological Cells Using a Computer Workbench
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...
Tessa E. Pronk, Simon Polstra, Andy D. Pimentel, T...
CCS
2003
ACM
15 years 11 months ago
Secure protocol composition
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...
CAD
2000
Springer
15 years 5 months ago
Automatic generation of system-level dynamic equations for mechatronic systems
This paper presents a novel methodology for deriving the dynamic equations of mechatronic systems from component models that are represented as linear graphs. This work is part of...
Antonio Diaz-Calderon, Christiaan J. J. Paredis, P...
ICPR
2006
IEEE
16 years 7 months ago
A Robust Split-and-Merge Text Segmentation Approach for Images
In this paper we describe a robust approach to segment text from color images. The proposed approach mainly includes four steps. Firstly, a preprocessing step is utilized to enhan...
Weiqiang Wang, Wen Gao, Yaowen Zhan