5639 search results - page 222 / 1128 » Timed Abstract Non-interference |
112
click to vote
DBPL
2007
Springer
15 years 9 months ago
2007
Springer
Data streams are modeled as infinite or finite sequences of data elements coming from an arbitrary but fixed universe. The universe can have various built-in functions and predi...
131
click to vote
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
173
Voted
PLSA
1994
15 years 7 months ago
1994
A machine_independent abstract program representation is presented that is twice as compact as machine code for a CISC processor. It forms the basis of an implementation, in which ...
114
click to vote
DIAGRAMS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Euler diagrams are an effective and intuitive way of representing relationships between sets. As the number of sets represented grows, Euler diagrams can become `cluttere...
113
click to vote
IJCAI
2003
15 years 4 months ago
2003
We present a new general framework for online istic plan recognition called the Abstract Hidden Markov Memory Model (AHMEM). The l is an extension of the existing Abstract Hidden ...