10038 search results - page 573 / 2008 » Model Checking for Managers |
206
click to vote
ACTA
2007
15 years 7 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
216
click to vote
IMCSIT
2010
15 years 4 months ago
2010
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
186
click to vote
BPM
2008
Springer
15 years 9 months ago
2008
Springer
For a particular business process, typically, different variants exist. Each of them constitutes an adjustment of a basic process (e.g. a reference process) to specific requirement...
191
click to vote
VISUAL
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we analyze the existing approaches to image data modeling and we propose an image data model and a particular image representation in the proposed model. This model ...
202
click to vote
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
Agile Modeling provides a set of best practices of "light-weight" modeling to support the modeling process on a macro level within the agile development teams. The object...