963 search results - page 152 / 193 » Formal Analysis of BPMN Models Using Event-B |
135
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
117
Voted
AIEDU
2005
15 years 3 months ago
2005
In this paper, we explore the problem of selecting appropriate interventions for students based on an analysis of their interactions with a tutoring system. In the context of the W...
158
Voted
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
154
Voted
TCBB
2008
15 years 3 months ago
2008
Abstract-- Many statistical measures and algorithmic techniques have been proposed for studying residue coupling in protein families. Generally speaking, two residue positions are ...
125
Voted
WSE
2006
IEEE
15 years 9 months ago
2006
IEEE
For web applications, determining how requests from a web page are routed through server components can be time-consuming and error-prone due to the complex set of rules and mecha...