1239 search results - page 70 / 248 » Applying Model Checking to Concurrent UML Models |
122
Voted
FMCO
2008
Springer
15 years 4 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...
137
Voted
FDL
2004
IEEE
15 years 6 months 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...
136
click to vote
CMSB
2006
Springer
15 years 6 months 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...
98
Voted
BIRTHDAY
2010
Springer
15 years 2 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...
153
Voted
ESOP
2012
Springer
13 years 10 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...