122 search results - page 6 / 25 » User-System-Interaction Design Program: an Overview |
140
Voted
CHARME
1999
Springer
15 years 7 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
115
Voted
CSREASAM
2010
15 years 4 days ago
2010
Abstract-- Keylogger programs attempt to retrieve confidential information by covertly capturing user input via keystroke monitoring and then relaying this information to others, o...
102
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
135
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
139
Voted
CSMR
2008
IEEE
15 years 4 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...