5639 search results - page 49 / 1128 » Timed Abstract Non-interference |
ICTCS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We consider the problem of maintaining polynomial and exponential decay aggregates of a data stream, where the weight of values seen from the stream diminishes as time el...
100
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Abstract— Space-time codes leverage the availability of multiple antennas to enhance the reliability of communication over wireless channels. While space-time codes have initiall...
VTC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—In this treatise we propose a three-stage twin-transmitantenna assisted MultiUser (MU) Direct Sequence Code-Division Mulitple Access (DS-CDMA) system employing both a Un...
116
click to vote
ECOOP
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
117
click to vote
NFM
2011
14 years 6 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...