Sciweavers

2858 search results - page 38 / 572
» Logics with Aggregate Operators
Sort
View
WOA
2004
13 years 10 months ago
A Game-Theoretic Operational Semantics
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
Arianna Tocchio, Stefania Costantini, Alessia Vert...
COLCOM
2009
IEEE
14 years 1 months ago
Aggregating uncertain access risk estimations from different sources invited paper
Risk-based access control raises some novel problems that have not yet been investigated. In particular, the ability to aggregate uncertain risk estimations from different experts...
Qun Ni, Elisa Bertino
IS
2006
13 years 8 months ago
Incremental maintenance of aggregate and outerjoin expressions
Views stored in a data warehouse need to be kept current. As recomputing the views is very expensive, incremental maintenance algorithms are required. Over recent years, several i...
Himanshu Gupta, Inderpal Singh Mumick
WICOMM
2008
122views more  WICOMM 2008»
13 years 8 months ago
Energy and connectivity performance of routing groups in multi-radio multi-hop networks
This paper explores the logical device aggregation of terminals in future generation networks, where the availability of several different radio access techniques is integrated by...
Michele Rossi, Leonardo Badia, Paolo Giacon, Miche...
INFORMATICALT
2006
115views more  INFORMATICALT 2006»
13 years 8 months ago
Sequent Calculi for Temporal Logics of Common Knowledge and Belief
In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators...
Jurate Sakalauskaite