8555 search results - page 361 / 1711 » Property Based Coordination |
197
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
166
Voted
TIT
2002
15 years 7 months ago
2002
An elementary proof of a basic uncertainty principle concerning pairs of representations of vectors in different orthonormal bases is provided. The result, slightly stronger than s...
178
click to vote
ICIP
2005
IEEE
16 years 9 months ago
2005
IEEE
Abstract-- The emergence of digital multimedia and the proliferation of its use have raised major concerns about the protection of intellectual property. In response to these conce...
222
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
Motion scalability is designed to improve the coding efficiency of a scalable video coding framework, especially in the medium to low range of decoding bit rates or spatial resol...
216
click to vote
LOPSTR
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...