1091 search results - page 121 / 219 » The State of Cognitive Systems Engineering |
VMCAI
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
TAPSOFT
1997
Springer
14 years 2 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
ICDE
2010
IEEE
13 years 10 months ago
2010
IEEE
— In this position paper, we motivate the need for streaming data integration in three main forms including across multiple streaming data sources, over multiple stream processin...
KI
2010
Springer
13 years 8 months ago
2010
Springer
Most approaches to the visual perception of humans do not include high-level activity recognitition. This paper presents a system that fuses and interprets the outputs of several c...
ICSE
2012
IEEE-ACM
12 years 14 days ago
2012
IEEE-ACM
—Integrated Development Environments (IDEs) have come to perform a wide variety of tasks on behalf of the programmer, refactoring being a classic example. These operations have u...