1525 search results - page 261 / 305 » Formal Models for Communication-Based Design |
124
Voted
EICS
2010
ACM
15 years 24 days ago
2010
ACM
Component-based software engineering is a paradigm aiming at better ways to reuse existing code and to distribute work across teams. Integrating UI components developed with diffe...
111
Voted
ISCI
2008
15 years 18 days ago
2008
Directed signature scheme allows only a designated verifier to check the validity of the signature issued to him; and at the time of trouble or if necessary, any third party can v...
93
Voted
JRTIP
2008
15 years 17 days ago
2008
Abstract Image registration is a computationally intensive application in the medical imaging domain that places stringent requirements on performance and memory management efficie...
105
click to vote
CORR
2002
Springer
15 years 13 days ago
2002
Springer
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
115
Voted
CAD
1999
Springer
15 years 8 days ago
1999
Springer
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...