963 search results - page 115 / 193 » Formal Analysis of BPMN Models Using Event-B |
105
click to vote
WSC
2008
15 years 3 months ago
2008
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...
117
click to vote
RSEISP
2007
Springer
15 years 7 months ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
EUROSYS
2006
ACM
15 years 10 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
123
click to vote
JELIA
2004
Springer
15 years 6 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
109
click to vote
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...