7209 search results - page 931 / 1442 » Software Engineering for Multi-Agent Systems |
121
click to vote
ICSE
2009
IEEE-ACM
16 years 5 months ago
2009
IEEE-ACM
Designers of concurrent programs are faced with many choices of synchronization mechanisms, among which clear functional trade-offs exist. Making synchronization customizable is h...
114
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
The Netherlands had parliamentary elections on November 22, 2006. We built a system which helped voters to make an informed choice among the many participating parties. One of the...
122
click to vote
EDBTW
2010
Springer
15 years 11 months ago
2010
Springer
While data privacy is a human right, it is challenging to enforce it. For example, if multiple retailers execute a single order at Amazon Marketplace, each retailer can use diffe...
138
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
115
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We analyze a model of fault-tolerant systems in a probabilistic setting. The model has been introduced under the name of “sabotage games”. A reachability problem over...