7380 search results - page 1096 / 1476 » Engineering Software Intensive Systems |
110
click to vote
CLA
2007
15 years 6 months ago
2007
In component-based software engineering, software systems are built by assembling prefabricated reusable components. The compatibility between the assembled components is crucial. ...
112
click to vote
SPLC
2008
15 years 6 months ago
2008
Dynamic Software Product Line (DSPL) engineering has proved itself as an efficient way to deal with run-time product adaptation. DSPLs have been successfully applied in domains su...
118
click to vote
WSC
2001
15 years 6 months ago
2001
In response to the expressed needs of MedModel users, PROMODEL Corporation has made substantial improvements in its MedModel healthcare simulation software. Beginning with its inc...
152
click to vote
WCE
2007
15 years 5 months ago
2007
—Linear equations provide useful tools for understanding the behavior of a wide variety of phenomena— from science and engineering to social sciences. A number of techniques ha...
122
click to vote
COMPSEC
2010
15 years 1 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...