Sciweavers

860 search results - page 105 / 172
» Integration of VHDL into a system design environment
Sort
View
IJCIM
2000
96views more  IJCIM 2000»
15 years 6 months ago
The National Electronics Manufacturing Initiative (NEMI) plug and play factory project
The National Electronics Manufacturing Initiative's (NEMI) plug and play Factory Project addressed the issues of how to quickly integrate new pieces of electronics assembly eq...
A. Dugenske, A. Fraser, T. Nguyen, R. Voitus
CIMCA
2005
IEEE
15 years 11 months ago
OntoBayes: An Ontology-Driven Uncertainty Model
— This paper describes an ontology-driven model, which integrates Bayesian Networks (BN) into the Ontology Web Language (OWL) to preserve the advantages of both. This model makes...
Yi Yang, Jacques Calmet
ATAL
2005
Springer
15 years 11 months ago
Controlling teams of uninhabited air vehicles
We describe a Multi-Agent System (MAS) for controlling teams of uninhabited air vehicles (UAVs) in the context of a larger system that has been used to evaluate potential concepts...
Jeremy W. Baxter, Graham S. Horn
SP
2008
IEEE
144views Security Privacy» more  SP 2008»
16 years 16 days ago
Cloaker: Hardware Supported Rootkit Concealment
Rootkits are used by malicious attackers who desire to run software on a compromised machine without being detected. They have become stealthier over the years as a consequence of...
Francis M. David, Ellick Chan, Jeffrey C. Carlyle,...
SEKE
2001
Springer
15 years 10 months ago
Temporal Logic Properties of Java Objects
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
Radu Iosif, Riccardo Sisto