15783 search results - page 583 / 3157 » Evidence-Based Software Engineering |
211
click to vote
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
217
click to vote
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
184
click to vote
IESA
2009
2009
Designing and Managing Organizational Interoperability with Organizational Capabilities and Roadmaps
15 years 4 months ago
This paper discusses organizational interoperability issues in through the study of two cases. Then it presents a framework which can help to design and manage this interoperabili...
222
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
A spanner of a graph is a sparse subgraph that approximately preserves distances in the original graph. More precisely, a subgraph H = (V, EH ) is a k-spanner of a graph G = (V, E...