Sciweavers

1040 search results - page 18 / 208
» Controlling Aspect Reentrancy
Sort
View
SAM
2000
102views Hardware» more  SAM 2000»
13 years 11 months ago
Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...
Olaf Henniger, Hasan Ural
ENGL
2008
80views more  ENGL 2008»
13 years 9 months ago
Controlled Permanent Magnet Drives
-- The considered converter-fed permanent magnet motor could alternatively be operated in two basically different states - the vector control mode or alternatively the brushless dc...
C. Grabner
AB
2008
Springer
14 years 4 months ago
Algorithms for Inference, Analysis and Control of Boolean Networks
Boolean networks (BNs) are known as a mathematical model of genetic networks. In this paper, we overview algorithmic aspects of inference, analysis and control of BNs while focusin...
Tatsuya Akutsu, Morihiro Hayashida, Takeyuki Tamur...
FLAIRS
2008
14 years 3 days ago
Modelling Uniformity and Control during Knowledge Acquisition
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, whi...
Bernhard Heinemann
IEE
2008
108views more  IEE 2008»
13 years 9 months ago
Mining execution relations for crosscutting concerns
Aspect mining tries to identify crosscutting concerns in the code of existing systems and thus supports their adaption to an aspect-oriented design. A semi-automatic static aspect...
Jens Krinke