996 search results - page 185 / 200 » A Compositional Model for Software Reuse |
108
click to vote
TOMS
1998
14 years 11 months ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...
106
click to vote
RTCSA
2008
IEEE
15 years 6 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
79
Voted
WECWIS
2003
IEEE
15 years 5 months ago
2003
IEEE
With the growing number of marketplaces and trading partners in the e–commerce environment, software tools designed to act on behalf of human traders are increasingly used to au...
FSTTCS
2003
Springer
15 years 4 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
103
click to vote
FSTTCS
2003
Springer
15 years 4 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...