1091 search results - page 148 / 219 » The State of Cognitive Systems Engineering |
LCTRTS
2004
Springer
14 years 2 months ago
2004
Springer
This paper proposes energy efficient real-time multi-task scheduling (EDF and RM) algorithms by using buffers. The buffering technique overcomes a drawback of previous approaches ...
ESSOS
2009
Springer
14 years 3 months ago
2009
Springer
Discovery of security vulnerabilities is on the rise. As a result, software development teams must place a higher priority on preventing the injection of vulnerabilities in softwar...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Often software systems are developed by organizations consisting of many teams of individuals working together. Brooks states in the Mythical Man Month book that product quality i...
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper describes a new automated technique to generate test cases for GUIs by using covering arrays (CAs). The key motivation is to generate long GUI event sequences that are ...