1699 search results - page 192 / 340 » On the Expressive Power of QLTL |
161
click to vote
ICC
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract— We consider a discrete-time frequencyselective block-fading channel with Rayleigh fading and correlated scattering. This is relevant in the area of UWB and if transceiv...
162
click to vote
ICDCS
2008
IEEE
16 years 28 days ago
2008
IEEE
We present a simple, yet powerful, approach for the specification and enforcement of authorizations regulating data release among data holders collaborating in a distributed comp...
183
click to vote
ICST
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion met...
157
click to vote
ISCAS
2008
IEEE
16 years 27 days ago
2008
IEEE
— A fully differential translinear 3-phase sinusoidal oscillator architecture is presented. The architecture is meant for BiCMOS implementation and uses only NPN devices, typical...
180
click to vote
LICS
2008
IEEE
16 years 27 days ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...