655 search results - page 68 / 131 » Coinduction in Concurrent Timed Systems |
CIG
2005
IEEE
15 years 5 months ago
2005
IEEE
Real-Time Strategy games present an interesting problem domain for Artificial Intelligence research. We review current approaches to developing AI systems for such games, noting th...
120
click to vote
ROOM
2000
15 years 1 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper, we show through detailed simulations that BitTorrent can be used to assist a server or content distribution network (CDN) for large-scale streaming delivery. Speciï...
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
SFM
2007
Springer
15 years 6 months ago
2007
Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...