Sciweavers

3557 search results - page 67 / 712
» Reviews
Sort
View
CONCUR
1998
Springer
15 years 11 months ago
It's About Time: Real-Time Logics Reviewed
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
Thomas A. Henzinger
ICSE
1994
IEEE-ACM
15 years 10 months ago
A Review of Formalisms for Describing Interactive Behaviour
Michael D. Harrison, David J. Duke
DIMEA
2007
140views Multimedia» more  DIMEA 2007»
15 years 10 months ago
Cheating in networked computer games: a review
The increasing popularity of Massively Multiplayer Online Games (MMOG)
Steven Daniel Webb, Sieteng Soh
IWMM
1995
Springer
104views Hardware» more  IWMM 1995»
15 years 10 months ago
Dynamic Storage Allocation: A Survey and Critical Review
Paul R. Wilson, Mark S. Johnstone, Michael Neely, ...