Sciweavers

8760 search results - page 163 / 1752
» Modeling users of intelligent systems
Sort
View
EMSOFT
2007
Springer
15 years 10 months ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux
IJACTAICIT
2010
122views more  IJACTAICIT 2010»
15 years 3 months ago
Intelligent Integrated Management for Telecommunication Networks
As the size of communication networks keeps on growing, faster connections, cooperating technologies and the divergence of equipment and data communications, the management of the...
Antonio Martín, Carlos León, F&eacut...
ISMVL
2009
IEEE
94views Hardware» more  ISMVL 2009»
16 years 29 days ago
Quaternary Addition Circuits Based on SUSLOC Voltage-Mode Cells and Modeling with SystemVerilog©
Satyendra R. Datla, Mitchell A. Thornton, Luther H...
ITICSE
2005
ACM
15 years 12 months ago
From objects-first to design-first with multimedia and intelligent tutoring
“Objects-first” is an increasingly popular strategy for teaching object-oriented programming by introducing the concepts of objects, classes, and instances before procedural e...
Sally H. Moritz, Fang Wei, Shahida M. Parvez, Glen...