963 search results - page 35 / 193 » Formal Analysis of BPMN Models Using Event-B |
106
click to vote
SIGDOC
2009
ACM
15 years 7 months ago
2009
ACM
This poster presents ongoing research on how discursive and editing behaviors are regulated on Wikipedia by means of documented rules and practices. Our analysis focuses on three ...
134
click to vote
JUCS
2000
15 years 1 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
EICS
2009
ACM
15 years 5 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
The purpose of this paper is to formally specify a flow devoted to the design of Differential Power Analysis (DPA) resistant QDI asynchronous circuits. The paper first proposes a ...
FORTE
2007
15 years 2 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...