2858 search results - page 445 / 572 » Logics with Aggregate Operators |
163
click to vote
HICSS
2007
IEEE
16 years 20 days ago
2007
IEEE
Mobile TV is described as a natural and evolutionary next step as mobile phones get more multimedia features. Mobile network operators expect mobile TV to support the adoption of ...
159
click to vote
ISCAS
2007
IEEE
16 years 19 days ago
2007
IEEE
— Fast addition and multiplication are of paramount importance in many arithmetic circuits and processors. The use of redundant number system for efficient implementation of thes...
175
click to vote
LICS
2007
IEEE
16 years 19 days ago
2007
IEEE
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
165
click to vote
CCS
2007
ACM
16 years 16 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
179
click to vote
ESORICS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...