963 search results - page 34 / 193 » Formal Analysis of BPMN Models Using Event-B |
FMOODS
2007
15 years 2 months ago
2007
Dynamic Meta Modeling (DMM) is a universal approach to defining semantics for languages syntactically grounded on meta models. DMM has been designed with the aim of getting highly...
103
click to vote
EUROCRYPT
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...
168
click to vote
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
131
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
135
click to vote
ACL
2012
13 years 3 months ago
2012
One of the key tasks for analyzing conversational data is segmenting it into coherent topic segments. However, most models of topic segmentation ignore the social aspect of conver...