156 search results - page 6 / 32 » A Computational Theory of Processing Overload and Garden-Pat... |
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
This paper takes the view that to be considered autonomous, a software agent must possess the means by which to manage its own motivations and so define new goals. Using the motiva...
125
click to vote
HASKELL
2009
ACM
15 years 5 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
ICPADS
2006
IEEE
15 years 5 months ago
2006
IEEE
Using simulations of a complex system such as a Web Application Server provides us with a tool that allows the running of tests without using the resources needed in a real system...
103
click to vote
MOBIHOC
2001
ACM
15 years 11 months ago
2001
ACM
This paper presents 7DS, a novel peer-to-peer data sharing system. 7DS is an architecture, a set of protocols and an implementation enabling the exchange of data among peers that ...
COLING
2002
14 years 11 months ago
2002
This paper investigates methods to automatically infer structural information from large XML documents. Using XML as a reference format, we approach the schema generation problem ...