4290 search results - page 84 / 858 » Formal Approaches to Teamwork |
153
click to vote
ITRUST
2004
Springer
15 years 11 months ago
2004
Springer
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
171
click to vote
TYPES
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
171
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
152
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
171
click to vote
FASE
1999
Springer
15 years 10 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...