1796 search results - page 141 / 360 » An Approach to Compositional Model Checking |
134
click to vote
CJ
2004
15 years 2 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
119
Voted
ECBS
2006
IEEE
15 years 8 months ago
2006
IEEE
The evolution of a design pattern typically involves the addition or removal of a group of modeling elements, such as classes, attributes, operations, and relationships. However, ...
133
Voted
SMI
2008
IEEE
15 years 8 months ago
2008
IEEE
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
128
Voted
ENTCS
2011
14 years 9 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...
142
click to vote
SMI
2010
IEEE
15 years 10 days ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...