3395 search results - page 351 / 679 » Designs, Disputes and Strategies |
165
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Experimental validation and testing of solutions designed for heterogeneous environment is a challenging issue. Wrekavoc is a tool for performing such validation. It runs unmodiļ¬...
191
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
In recent years, the tourism assistance community is gradually shifting its emphasis to digital, interactive systems. Our project aims for digital tourism assistance by combining ...
179
click to vote
CSCWD
2009
Springer
16 years 1 months ago
2009
Springer
Constrained random simulation methodology still plays an important role in hardware verification due to the limited scalability of formal verification, especially for the large an...
153
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We address the problem of alternating simulation reļ¬nement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...
163
click to vote
IWANN
2009
Springer
16 years 1 months ago
2009
Springer
āThis paper describes a multi-agent based simulation (MABS) framework to construct an artiļ¬cial electric power market populated with learning agents. The artiļ¬cial market, na...