Sciweavers

40 search results - page 1 / 8
» Olympic Games Reform: A Study in System Engineering
Sort
View
COMPSAC
2005
IEEE
13 years 10 months ago
Empirical Validation of Website Timeliness Measures
Information timeliness is crucial for media-based websites. Although a couple of timeliness design strategies have been developed, timeliness measurement is still in its infancy. ...
Yanlong Zhang, Hong Zhu, Sue Greenwood
FOSSACS
2008
Springer
13 years 6 months ago
Stochastic Games with Lossy Channels
We consider turn-based stochastic games on infinite graphs induced by game probabilistic lossy channel systems (GPLCS), the game version of probabilistic lossy channel systems (PLC...
Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Al...
WCRE
1993
IEEE
13 years 9 months ago
A Practical Program Transformation System for Reverse Engineering
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
M. Ward, K. Bennett
ACMACE
2005
ACM
13 years 10 months ago
Designing a narrative-based audio only 3D game engine
Immersing players in believable and engaging virtual environments is a common goal for many interactive computer games. While PC-based audio only games set in virtual worlds have ...
Timothy Roden, Ian Parberry