8083 search results - page 1497 / 1617 » A Formalization of Software Architecture |
183
click to vote
WOA
2007
15 years 7 months ago
2007
—This paper describes Herald, an agent based toolkit for dispatching and processing items in a distributed environment. Herald is suitable for scenarios where the process could b...
161
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
There is a chronic lack of shared application domains to test the research models and agent architectures on areas like negotiation, argumentation, trust and reputation. In this d...
203
click to vote
CIDR
2009
15 years 7 months ago
2009
Data consistency is very desirable because strong semantic properties make it easier to write correct programs that perform as users expect. However, there are good reasons why co...
270
click to vote
ERCIMDL
2010
Springer
15 years 7 months ago
2010
Springer
The Planets Testbed is an open access web application for the digital preservation community, providing an experimental framework for evaluating preservation tools and approaches i...
135
click to vote
EUROPAR
2010
Springer
15 years 7 months ago
2010
Springer
Mutual exclusion locks limit concurrency but offer low latency. Software transactional memory (STM) typically has higher latency, but scales well. In this paper we propose transac...