2583 search results - page 315 / 517 » On the Representation of Timed Polyhedra |
165
click to vote
ISAAC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We show how to represent sets in a linear space data structure such that expressions involving unions and intersections of sets can be computed in a worst-case efficient ...
128
click to vote
ISI
2007
Springer
16 years 20 days ago
2007
Springer
—A digital chain of custody is an account documenting digital data at a particular place and time. This paper gives a method of validating and authenticating a digital chain of c...
181
click to vote
WDAG
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
185
click to vote
TIME
2005
IEEE
16 years 2 days ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...
143
click to vote
ASM
2005
ASM
16 years 2 days ago
2005
ASM
lation of BGS model of Abstract State Machines Comandur Seshadhri1 , Anil Seth2 , and Somenath Biswas2 1 Department of Computer Science Princeton University, Princeton NJ 08544, US...