483 search results - page 59 / 97 » Experimental Software Engineering: A Report on the State of ... |
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
In the Trading Agent Competition Ad Auctions Game, agents compete to sell products by bidding to have their ads shown in a search engine's sponsored search results. We report...
FSEN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
PASTE
2004
ACM
14 years 2 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
CGO
2009
IEEE
14 years 3 months ago
2009
IEEE
—As semiconductor technology scales into the deep submicron regime the occurrence of transient or soft errors will increase. This will require new approaches to error detection. ...