Sciweavers

8009 search results - page 101 / 1602
» cans 2005
Sort
View
CEAS
2005
Springer
15 years 10 months ago
The Social Network and Relationship Finder: Social Sorting for Email Triage
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...
Carman Neustaedter, A. J. Bernheim Brush, Marc A. ...
CEEMAS
2005
Springer
15 years 10 months ago
A Direct Reputation Model for VO Formation
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...
Arturo Avila-Rosas, Michael Luck
CONCUR
2005
Springer
15 years 10 months ago
Modal Logics for Timed Control
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 ...
Patricia Bouyer, Franck Cassez, François La...
COORDINATION
2005
Springer
15 years 10 months ago
Preserving Architectural Properties in Multithreaded Code Generation
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 ...
Marco Bernardo, Edoardo Bontà
CP
2005
Springer
15 years 10 months ago
Robust Constraint Solving Using Multiple Heuristics
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...
Alfio Vidotto, Kenneth N. Brown, J. Christopher Be...