1536 search results - page 212 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
ISSRE
2002
IEEE
14 years 20 days ago
2002
IEEE
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
— We present a novel network of oscillatory units, whose behavior is described by the amplitude and phase of oscillations. While building on previous work, the system presented i...
IPSJ
1994
13 years 9 months ago
1994
The goal of the Tsimmis Project is to develop tools that facilitate the rapid integration of heterogeneous information sources that may include both structured and unstructured da...
DAGM
2004
Springer
14 years 1 months ago
2004
Springer
This paper proposes a system for model based human motion estimation. We start with a human model generation system, which uses a set of input images to automatically generate a f...
IEEEIAS
2009
IEEE
14 years 2 months ago
2009
IEEE
: The link between security engineering and systems engineering exists at the earliest stage of systems development, and, as a whole, there is sufficient evidence to suggest the di...