4341 search results - page 251 / 869 » Quantitative Model checking |
94
Voted
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Exception handling design is an important but difficult subject in software development. In Java software development, the use of checked exceptions exacerbates the difficulty. In...
129
Voted
ECMDAFA
2010
Springer
15 years 5 months ago
2010
Springer
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
81
Voted
MONTEREY
2007
Springer
15 years 7 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...
DSVIS
2006
Springer
15 years 4 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...
107
click to vote
APCCM
2010
15 years 2 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 ...