137 search results - page 9 / 28 » Distributed Cooperative Formal Methods Tools |
118
Voted
AGTIVE
1999
Springer
15 years 6 months ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...
103
click to vote
IIWAS
2008
15 years 3 months ago
2008
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become po...
ISW
2001
Springer
15 years 6 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
137
Voted
APN
2007
Springer
15 years 8 months ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
108
click to vote
CAISE
2001
Springer
15 years 7 months ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...