1791 search results - page 154 / 359 » Two Types of Multiple-Conclusion Systems |
AC
2005
Springer
13 years 9 months ago
2005
Springer
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...
ENTCS
2011
13 years 4 months ago
2011
In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logic’s finer control on structural rules, i...
ICSE
1994
IEEE-ACM
14 years 1 months ago
1994
IEEE-ACM
This paper describes a system called TESTTUBE that combines static and dynamic analysis to perform selective retesting of software systems written in C. TESTTUBEfirst identifies w...
ECIS
2001
13 years 10 months ago
2001
Information technology (IT) support for managing competence is based on a rationalistic view of competence. While these competence systems might work in rationalistic organization...
ACMDIS
2010
ACM
13 years 9 months ago
2010
ACM
Energy feedback systems, particularly residential energy feedback systems (REFS), have emerged as a key area for HCI and interaction design. However, we argue that HCI researchers...