3435 search results - page 158 / 687 » Aspect Model Unweaving |
170
click to vote
RE
2002
Springer
15 years 6 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
184
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
This paper describes some extensions added to the continuous simulation language OOCSMP to perform agent-oriented simulation. The extensions are tested by simulating the evolution...
177
click to vote
TNN
1998
15 years 6 months ago
1998
: A novel approach to artificial neural networks is presented. The philosophy of this approach is based on two aspects: the design of task-specific networks, and a new neuron model...
178
click to vote
FAC
2010
15 years 5 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
177
click to vote
ICWS
2010
IEEE
15 years 5 months ago
2010
IEEE
Survivability is a crucial property for computer systems that support critical infrastructures of our society. A variety of survivability definitions and evaluation methods for t...