1601 search results - page 308 / 321 » The affordable application of formal methods to software eng... |
CODES
2008
IEEE
14 years 2 months ago
2008
IEEE
The combination of flit-buffer flow control methods and latency-insensitive protocols is an effective solution for networks-on-chip (NoC). Since they both rely on backpressure...
ICAC
2008
IEEE
14 years 2 months ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
COMSWARE
2007
IEEE
14 years 2 months ago
2007
IEEE
—Traditional authentication systems employed on Internet are facing an acute problem of intrusions. In this context we propose a neural architecture for user authentication throu...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— An experimental design approach is used to determine which factors (design parameters) of Spectrally Modulated, Spectrally Encoded (SMSE) waveforms have the greatest im...
ISORC
2007
IEEE
14 years 2 months ago
2007
IEEE
Due to the special characteristics (limited battery power, limited computing capability, low bandwidth, need to collect sensor data from multiple fixed-location source nodes to a...