3299 search results - page 326 / 660 » A general mathematics of names |
151
click to vote
CALCO
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
173
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
153
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
In order to provide certified security services we must provide indicators that can measure the level of assurance that a complex business process can offer. Unfortunately the fo...
208
click to vote
CIKM
2007
Springer
16 years 27 days ago
2007
Springer
Spatial queries for extracting data from wireless sensor networks are important for many applications, such as environmental monitoring and military surveillance. One such query i...
181
click to vote
CIKM
2007
Springer
16 years 27 days ago
2007
Springer
Most up-to-date well-behaved topic-based summarization systems are built upon the extractive framework. They score the sentences based on the associated features by manually assig...