1940 search results - page 45 / 388 » The Dynamic Logic of Permission |
160
click to vote
TARK
2007
Springer
16 years 11 days ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
170
click to vote
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
Emerging data stream management systems approach the challenge of massive data distributions which arrive at high speeds while there is only small storage by summarizing and minin...