2875 search results - page 262 / 575 » Model checking agentspeak |
156
Voted
DBSEC
2010
15 years 14 days ago
2010
Abstract. This paper describes how to preserve integrity and confidentiality of a directed acyclic graph (DAG) model of provenance database. We show a method to preserve integrity ...
136
Voted
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
113
click to vote
ACSD
2010
IEEE
15 years 1 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
107
Voted
SIGIR
2002
ACM
15 years 3 months ago
2002
ACM
We develop a method for predicting query performance by computing the relative entropy between a query language model and the corresponding collection language model. The resultin...
162
Voted
ISBRA
2010
Springer
15 years 2 months ago
2010
Springer
A popular model for gene regulatory networks is the Boolean network model. In this paper, we propose an algorithm to perform an analysis of gene regulatory interactions using the B...