3383 search results - page 390 / 677 » Distributing the power of OLAP |
136
click to vote
CONCUR
2005
Springer
16 years 10 days ago
2005
Springer
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...
172
Voted
CONCUR
2005
Springer
16 years 10 days ago
2005
Springer
We propose a compositional approach to the dynamics of gene regulatory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can...
207
click to vote
CONCUR
2005
Springer
16 years 10 days ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
158
click to vote
DCOSS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Many sensor network applications demand tightly-bounded object detection quality. To meet such stringent requirements, we develop three sensing scheduling protocols to gu...
157
click to vote
GRID
2005
Springer
16 years 9 days ago
2005
Springer
Abstract— In this paper we present a system permitting controlled policy administration and delegation using the XACML access control system. The need for these capabilities stem...