819 search results - page 146 / 164 » Using Assumptions to Distribute CTL Model Checking |
GLVLSI
2005
IEEE
15 years 3 months ago
2005
IEEE
We perform a detailed study of various crosstalk scenarios in VDSM technologies by using a distributed model of the crosstalk site and make a number of key observations about the ...
CCS
2005
ACM
15 years 3 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
73
Voted
ICML
1995
IEEE
15 years 11 months ago
1995
IEEE
In the single rent-to-buy decision problem, without a priori knowledge of the amount of time a resource will be used we need to decide when to buy the resource, given that we can ...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
123
click to vote
ICDM
2007
IEEE
15 years 2 months ago
2007
IEEE
Model-based declarative queries are becoming an attractive paradigm for interacting with many data stream applications. This has led to the development of techniques to accurately...