1699 search results - page 198 / 340 » On the Expressive Power of QLTL |
195
click to vote
ACMICEC
2005
ACM
16 years 1 days ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
134
click to vote
CONCUR
2005
Springer
16 years 16 hour 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 ...
159
click to vote
EMSOFT
2005
Springer
16 years 11 hour ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
146
click to vote
GRID
2005
Springer
16 years 4 hour 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...
228
click to vote
IDA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...