8644 search results - page 211 / 1729 » On the Composition of Secure Systems |
173
click to vote
SELMAS
2004
Springer
16 years 11 hour ago
2004
Springer
The need of developing a new software engineering process (SEP) that could allow the quick prototyping of some robotic applications and meet the requests coming from some companie...
204
click to vote
ECOOP
1992
Springer
15 years 10 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
181
click to vote
IJWET
2010
15 years 5 months ago
2010
: This article presents a mediation framework supporting the integration of web services in orchestrated and choreographed services and the conciliation of interaction protocol mis...
203
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
192
click to vote
FDL
2006
IEEE
16 years 22 days ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...