1415 search results - page 51 / 283 » Verified systems by composition from verified components |
176
click to vote
FC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract Two protocols for authentication based on symmetric key cryptography are described, where the verifier can be implemented in software completely, without the need for secu...
143
click to vote
ENVSOFT
2006
15 years 6 months ago
2006
This paper presents an approach that integrates a legacy component into a software system for storm sewer simulation. The legacy component employed here is the Storm Water Managem...
159
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We present the main features of a system designed to support the development and delivery of web applications through concepts for modularity, reuse and rapid prototyping...
271
click to vote
ASE
2011
15 years 1 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
167
click to vote
ISCIS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...