138 search results - page 28 / 28 » Linear Encodings of Bounded LTL Model Checking |
CCS
2005
ACM
13 years 10 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...
ESA
2005
Springer
13 years 10 months ago
2005
Springer
Histograms are used in many ways in conventional databases and in data stream processing for summarizing massive data distributions. Previous work on constructing histograms on da...
SMA
2003
ACM
13 years 10 months ago
2003
ACM
The prediction of collisions amongst N rigid objects may be reduced to a series of computations of the time to first contact for all pairs of objects. Simple enclosing bounds and...