866 search results - page 85 / 174 » A Formal Investigation of |
MATES
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Cooperative problem solving without communication is an oftenstudied field within multi-agent research. Realistic problems investigated in this particular field are compl...
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
RSFDGRC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Discovering diverse individual accessing behaviors in web environment is required before mining the valuable patterns from behaviors of groups of visitors. In this paper,...
WINE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We commonly use the experience of others when taking decisions. Reputation mechanisms aggregate in a formal way the feedback collected from peers and compute the reputati...
BIRTHDAY
2004
Springer
14 years 3 months ago
2004
Springer
Two models for gene assembly in ciliates have been proposed and investigated in the last few years. The DNA manipulations postulated in the two models are very different: one mode...