8828 search results - page 315 / 1766 » Formal methods in practice |
160
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
174
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
166
click to vote
ICAC
2007
IEEE
15 years 10 months ago
2007
IEEE
We consider the problem of localizing network performance bottlenecks and evaluate how various optimization techniques developed for reconstructing link delays perform on this dec...
193
click to vote
ACNS
2003
Springer
15 years 12 months ago
2003
Springer
Pseudonym systems allow users to interact with multiple organizations anonymously by using pseudonyms. Such schemes are of significant practical relevance because it is the best m...
163
click to vote
TYPES
2007
Springer
16 years 25 days ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...