7839 search results - page 29 / 1568 » What's Clicking What |
104
Voted
HOTOS
1997
IEEE
15 years 5 months ago
1997
IEEE
Synchronous groupware is the class of applications in which two or more people collaborate in what they perceive to be real time. Most previous efforts to deploy synchronous group...
127
click to vote
TYPES
1998
Springer
15 years 5 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
123
Voted
MAAMAW
1994
Springer
15 years 4 months ago
1994
Springer
What is the relation between the complexity of agents and the complexity of the goals that they can achieve? It is argued on the basis of a fundamental conservation of complexity ...
111
Voted
ICALP
1992
Springer
15 years 4 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
104
click to vote
ESOP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. While a rigorous information flow analysis is a key step in obtaining meaningful end-to-end confidentiality guarantees, one must also permit possibilities for declassific...