10666 search results - page 1606 / 2134 » Quantum programming languages |
140
click to vote
CP
2004
Springer
16 years 9 days ago
2004
Springer
The stretch constraint occurs in many rostering problems that arise in the industrial and public service sectors. In this paper we present an efficient algorithm for domain consist...
159
click to vote
CSL
2004
Springer
16 years 9 days ago
2004
Springer
Set constraints are a useful formalism for verifying properties of programs. Usually, they are interpreted over the universe of finite terms. However, some logic languages allow i...
161
click to vote
DSOM
2004
Springer
16 years 9 days ago
2004
Springer
Autonomic distributed management enables for deploying self-directed monitoring and control tasks that track dynamic network problems such as performance degradation and security t...
178
click to vote
ICALP
2004
Springer
16 years 9 days ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
180
Voted
ICALP
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. We introduce the notion of coordination mechanisms to improve the performance in systems with independent selfish and noncolluding agents. The quality of a coordination ...