137 search results - page 13 / 28 » Distributed Cooperative Formal Methods Tools |
FMCO
2003
Springer
14 years 22 days ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
IEEEAMS
2003
IEEE
14 years 24 days ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
FORMATS
2010
Springer
13 years 5 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
FMICS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...
FMSD
2006
13 years 7 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...