3724 search results - page 494 / 745 » Timed regular expressions |
182
click to vote
CP
2005
Springer
16 years 5 days ago
2005
Springer
We consider the problem of encoding Boolean cardinality constraints in conjunctive normal form (CNF). Boolean cardinality constraints are formulae expressing that at most (resp. at...
183
click to vote
EUROPAR
2005
Springer
16 years 5 days ago
2005
Springer
— We present the Adaptive Group Notification (AGNO) scheme for efficiently contacting large peer populations in unstructured Peer-to-Peer networks. AGNO defines a novel implic...
161
click to vote
EWSA
2005
Springer
16 years 5 days ago
2005
Springer
Even modern component architectures do not provide for easily manageable context-sensitive adaptability, a key requirement for ambient intelligence. The reason is that components a...
191
click to vote
LPNMR
2005
Springer
16 years 4 days ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
155
click to vote
POLICY
2005
Springer
16 years 4 days ago
2005
Springer
The use of policy-based mechanisms significantly reduces the complexity associated with applicational development and operation. In particular, history-based policies allow the s...