8009 search results - page 101 / 1602 » cans 2005 |
130
click to vote
CEAS
2005
Springer
15 years 10 months ago
2005
Springer
Email triage is the process of going through unhandled email and deciding what to do with it. This process can quickly become a serious problem for users with large volumes of ema...
124
click to vote
CEEMAS
2005
Springer
15 years 10 months ago
2005
Springer
We show that reputation is a basic ingredient in the Virtual Organisation (VO) formation process. Agents can use their experiences gained in direct past interactions to model other...
105
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...
129
click to vote
COORDINATION
2005
Springer
15 years 10 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
135
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...