Sciweavers

8760 search results - page 163 / 1752
» Modeling users of intelligent systems
Sort
View
EMSOFT
2007
Springer
15 years 8 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 2 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...
120
Voted
ISMVL
2009
IEEE
94views Hardware» more  ISMVL 2009»
15 years 11 months ago
Quaternary Addition Circuits Based on SUSLOC Voltage-Mode Cells and Modeling with SystemVerilog©
Satyendra R. Datla, Mitchell A. Thornton, Luther H...
106
Voted
ATAL
2007
Springer
15 years 11 months ago
A computational model of human interaction and planning for heterogeneous multi-agent systems
Alexandre Pauchet, Nathalie Chaignaud, Amal El Fal...
ITICSE
2005
ACM
15 years 10 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...