963 search results - page 140 / 193 » Formal Analysis of BPMN Models Using Event-B |
102
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
139
click to vote
QEST
2009
IEEE
15 years 8 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
113
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: The evolution of high throughput technologies that measure gene expression levels has created a data base for inferring GRNs (a process also known as reverse engineeri...
125
click to vote
ICISC
2009
14 years 11 months ago
2009
Minimizing complexity of group key exchange (GKE) protocols is an important milestone towards their practical deployment. An interesting approach to achieve this goal is to simplif...
127
click to vote
LICS
1999
IEEE
15 years 5 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...