1714 search results - page 207 / 343 » Abstract Models of Memory Management |
120
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
114
Voted
PAKDD
2005
ACM
15 years 9 months ago
2005
ACM
Abstract. The data stream model of computation is often used for analyzing huge volumes of continuously arriving data. In this paper, we present a novel algorithm called DUCstream ...
123
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
131
Voted
LATIN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...
147
Voted
CC
2003
Springer
15 years 8 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...