827 search results - page 105 / 166 » Patterns for Timed Property Specifications |
125
click to vote
IC
2004
15 years 4 months ago
2004
Industrial wastes must be classified at least two times on the way from the owner of the waste to the waste disposal facility in order to ensure that waste handling is in conformi...
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The focus of this work is on the analysis of transmit beamforming schemes with a low-rate feedback link in wireless sensor/relay networks, where nodes in the network need to imple...
121
click to vote
PKC
2009
Springer
16 years 3 months ago
2009
Springer
Sanitizable signature schemes, as defined by Ateniese et al. (ESORICS 2005), allow a signer to partly delegate signing rights to another party, called the sanitizer. That is, the s...
118
click to vote
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...
112
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...