5639 search results - page 293 / 1128 » Timed Abstract Non-interference |
135
Voted
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--We study replication mechanisms that include ReedSolomon type codes as well as network coding in order to improve the probability of successful delivery within a given ti...
121
Voted
ICCAD
2001
IEEE
16 years 15 days ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....
106
Voted
COSIT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract.Abstract.Abstract. This paper proposes an automated approach for describing how geospatial objects evolve. We consider geospatial objects whose boundaries and properties c...
136
click to vote
CSFW
2008
IEEE
15 years 10 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
125
Voted
ICDE
2005
IEEE
15 years 9 months ago
2005
IEEE
AbstractAbstractAbstract In this paper, an implementation scheme for relational tables is proposed. Our scheme employs extendible chunked arrays. We are proposing an implementation...