1454 search results - page 221 / 291 » Stateful traits and their formalization |
153
click to vote
CAISE
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
207
click to vote
CALCO
2007
Springer
16 years 16 days ago
2007
Springer
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
152
click to vote
CAV
2007
Springer
16 years 16 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
149
click to vote
CAV
2007
Springer
16 years 16 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
164
click to vote
CONCUR
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...