1356 search results - page 156 / 272 » A variable-free dynamic semantics |
124
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
128
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...
113
click to vote
MM
2004
ACM
15 years 9 months ago
2004
ACM
We have built over the last few years an integrated browser and query interface for watching a movie synchronized with its script. The system is demonstrated with the movie ’The...
155
click to vote
AWCC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Much of the information on the web is indeed dynamic content provided through linkups with databases. However, due to heterogeneity of databases, it is difficult to provi...
111
click to vote
IV
2002
IEEE
15 years 9 months ago
2002
IEEE
IVPrototype is an Information Visualization Prototype for the visualization of both geometrical and non-geometrical data. Our goal is to provide a generic system that automaticall...