Sciweavers

7383 search results - page 71 / 1477
» Theories of information behavior
Sort
View
IPPS
2003
IEEE
15 years 11 months ago
Towards a Theory of Bisimulation for a Fragment of Verilog
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
Li Yongjian, Jifeng He
CIKM
1998
Springer
15 years 10 months ago
Continual Computation Policies for Utility-Directed Prefetching
People accessing documents via the Internet typically experience latencies in retrieving content. We discuss continual-computation policies that dictate strategies for prefetching...
Eric Horvitz
TRUST
2009
Springer
16 years 22 days ago
Remote Attestation of Attribute Updates and Information Flows in a UCON System
UCON is a highly flexible and expressive usage control model which allows an object owner to specify detailed usage control policies to be evaluated on a remote platform. Assuranc...
Mohammad Nauman, Masoom Alam, Xinwen Zhang, Tamlee...
IFIP
2010
Springer
15 years 1 months ago
Scenario-Based Modeling in Industrial Information Systems
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
Ricardo Jorge Machado, João M. Fernandes, J...
ISIPTA
1999
IEEE
111views Mathematics» more  ISIPTA 1999»
15 years 10 months ago
Uncertainty and Information Measures for Imprecise Probabilities: An Overview
The paper deals with basic issues regarding the measurement of relevant types of uncertainty and uncertainty-based information in theories that represent imprecise probabilities o...
George J. Klir