3573 search results - page 356 / 715 » Reasoning about Codata |
127
click to vote
ECAI
1998
Springer
15 years 9 months ago
1998
Springer
This paper describes SRIPPs, structured reactive image processing plans, that are tailored for the needs of autonomous service robots. SRIPPs are implemented on top of a modular, d...
127
Voted
SP
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
137
click to vote
ICSM
1996
IEEE
15 years 9 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
143
Voted
ESEC
1997
Springer
15 years 9 months ago
1997
Springer
The decomposition of a software application into components and connectors at the design stage has been promoted as a way to describe and reason about complex software architecture...
154
Voted
SAS
1997
Springer
15 years 9 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...