3458 search results - page 289 / 692 » Abstracting Control |
134
click to vote
IV
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper present details of an integrated database visualization system. The system supports the visualization process from an end-to-end perspective. Included in the system is ...
138
Voted
LOPSTR
1994
Springer
15 years 8 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...
124
click to vote
WAIM
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. WWW caching necessitates advanced replacement policies that include sophisticated control logic and efficient contents management. This paper presents a constructive appr...
157
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...
134
click to vote
AUSAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...