1082 search results - page 76 / 217 » tools 2000 |
EUROCRYPT
2000
Springer
14 years 2 months ago
2000
Springer
Alice wants to prove that she is young enough to borrow money from her bank, without revealing her age. She therefore needs a tool for proving that a committed number lies in a spe...
FMCAD
2000
Springer
14 years 2 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
IFIP
2000
Springer
14 years 2 months ago
2000
Springer
We are developing scientific software component technology to manage the complexity of modern, parallel simulation software and increase the interoperability and re-use of scientif...
SPIN
2000
Springer
14 years 2 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
UML
2000
Springer
14 years 2 months ago
2000
Springer
The emergence of the Unified Modeling Language (UML) has provided software developers with an effective and efficient shared language. However, UML is often too restrictive in init...