3909 search results - page 219 / 782 » Extreme Model Checking |
103
click to vote
MONTEREY
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
100
click to vote
DSVIS
2006
Springer
15 years 6 months ago
2006
Springer
We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. I...
128
click to vote
APCCM
2010
15 years 4 months ago
2010
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...
122
click to vote
SIBGRAPI
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents a system that is being developed for the recognition of the handwritten legal amount in Brazilian bank checks. Our strategy used to approach the handwritten leg...
128
click to vote
DEXAW
2006
IEEE
15 years 9 months ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...