4435 search results - page 272 / 887 » Algorithms, games, and the internet |
163
click to vote
CONCUR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
164
click to vote
FLAIRS
2007
15 years 9 months ago
2007
There is a growing interest in producing story based game experiences that do not follow fixed scripts predefined by the author, but change the experience based on actions perfo...
165
click to vote
ICANN
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Developing superior artificial board-game players is a widelystudied area of Artificial Intelligence. Among the most challenging games is the Asian game of Go, which, des...
219
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
149
click to vote
CN
2008
15 years 6 months ago
2008
Although there are two standard transport protocols, TCP and UDP, offering services in the Internet, the majority of the traffic over the Internet is TCP-based. TCP-based applicat...