1523 search results - page 169 / 305 » Partially ordered secretaries |
142
click to vote
AMAST
2006
Springer
15 years 9 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
154
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
A time-bound hierarchical key assignment scheme is a method to assign time-dependent encryption keys to a set of classes in a partially ordered hierarchy, in such a way that each ...
152
click to vote
FAABS
2004
Springer
15 years 9 months ago
2004
Springer
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
150
click to vote
DEXA
2006
Springer
15 years 9 months ago
2006
Springer
One of the problems associated with XML databases is the poor performance of XPath queries. Although this has attracted much attention by the research community, solutions are eith...
144
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Many "semiring-like" structures are used in Soft Constraint Satisfaction Problems (SCSPs). We review a few properties of semirings that are useful for dealing w...