450 search results - page 64 / 90 » Structural and Behavioral Decomposition in Object Oriented M... |
IJCAI
1989
13 years 8 months ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...
IFIPTCS
2000
13 years 11 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
WORDS
2002
IEEE
14 years 18 days ago
2002
IEEE
Open Multithreaded Transactions form an advanced transaction model that provides features for controlling and structuring not only accesses to objects, as usual in transaction sys...
ER
2003
Springer
14 years 28 days ago
2003
Springer
A modeling and development methodology is a combination of a language for expressing the universal or domain ontology and an approach for developing systems using that language. A ...
VIS
2004
IEEE
14 years 9 months ago
2004
IEEE
Determining the three-dimensional structure of distant astronomical objects is a challenging task, given that terrestrial observations provide only one viewpoint. For this task, b...