1157 search results - page 138 / 232 » Descriptive Complexity and Model Checking |
JSS
2010
13 years 4 months ago
2010
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
WETICE
2005
IEEE
14 years 3 months ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
AVI
2000
13 years 11 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
ENTCS
2008
13 years 10 months ago
2008
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
IJCV
2007
13 years 10 months ago
2007
The shape of a population of geometric entities is characterized by both the common geometry of the population and the variability among instances. In the deformable model approach...