17049 search results - page 337 / 3410 » cans 2007 |
142
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
We show how protocols can be derived from norms using landmarks. The resulting protocols can be used by agents to fulfill the norms governing an e-institution without having to h...
174
click to vote
CP
2007
Springer
16 years 28 days ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
194
click to vote
CSCLP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Combinatorial problems such as scheduling, resource allocation, and configuration have many attributes that can be subject of user preferences. Traditional optimization ...
173
click to vote
ER
2007
Springer
16 years 28 days ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
168
click to vote
IEAAIE
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, it is shown how behavioural properties can be specified for three types of violent criminals. Moreover, it is shown how empirical material in the form of informal de...