2701 search results - page 152 / 541 » On the form of witness terms |
145
click to vote
SAS
2005
Springer
15 years 12 months ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
175
click to vote
SSD
2005
Springer
15 years 12 months ago
2005
Springer
Topological predicates are an important element of database systems that allow manipulation of spatial data. Based on the necessity for such systems to handle uncertainty, we intro...
167
click to vote
TARK
2005
Springer
15 years 12 months ago
2005
Springer
This paper addresses two closely related aspects of subjective information. First, no two agents necessarily see the same thing when they observe the same object. Second, no two a...
148
click to vote
WINE
2005
Springer
15 years 12 months ago
2005
Springer
A sharing community prospers when participation and contribution are both high. We suggest both, while being related decisions every peer makes, should be given separate rational ...
175
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
An experimental form of Modulation (Reinterpretation) of the Search Space is presented. This modulation is developed as a mathematical method that can be implemented directly into...