3130 search results - page 37 / 626 » Design Correctness of Digital Systems |
ICSE
2003
IEEE-ACM
14 years 25 days ago
2003
IEEE-ACM
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...
EICS
2009
ACM
14 years 2 months ago
2009
ACM
This paper reports a usability evaluation of three operational digital libraries (DLs): the ACM DL, the IEEE Computer Society DL, and the IEEE Xplore DL. An experiment was conduct...
JIPS
2006
13 years 7 months ago
2006
: We have designed an embedded controller for the control of a diesel generator using an embedded system. The generator is monitored and controlled remotely via the internet in rea...
DIM
2005
ACM
13 years 9 months ago
2005
ACM
We develop solutions for the security and privacy of user identity information in a federation. By federation we mean a group of organizations or service providers which have buil...
IADIS
2004
13 years 9 months ago
2004
While the digital age is based on computing, computing disciplines remain conservative in their curricula and delivery methods. Computer science and information systems curricula ...