3483 search results - page 332 / 697 » Using Subject-Oriented Modeling to Develop Jini Applications |
160
click to vote
DICTA
2003
2003
Real-Time Detection, Registration and Recognition Using Pixel-Level Fusion of Active/Passive Imagery
15 years 8 months ago
- A system has been developed whereby active ladar and passive electro-optic imaging data are aligned in hardware at the pixel level. ...
164
click to vote
JSW
2008
15 years 6 months ago
2008
The MURA phenomenon will result lots of problems in Photomask and TFT-LCD industries as well. In this paper, we designed and developed a MURA related association rules which suitab...
178
click to vote
SIGSOFT
1996
ACM
15 years 10 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
173
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
190
click to vote
APN
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...