1239 search results - page 70 / 248 » Applying Model Checking to Concurrent UML Models |
FMCO
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
FDL
2004
IEEE
14 years 18 days ago
2004
IEEE
In this work we develop a secure communication protocol in the context of a Remote Meter Reading (RMR) System. We first analyze existing standards in secure communication (e.g. IP...
CMSB
2006
Springer
14 years 18 days ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...
ESOP
2012
Springer
12 years 4 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...