Sciweavers

3557 search results - page 67 / 712
» Reviews
Sort
View
110
Voted
CONCUR
1998
Springer
15 years 7 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
100
Voted
ICSE
1994
IEEE-ACM
15 years 6 months ago
A Review of Formalisms for Describing Interactive Behaviour
Michael D. Harrison, David J. Duke
113
Voted
DIMEA
2007
140views Multimedia» more  DIMEA 2007»
15 years 6 months ago
Cheating in networked computer games: a review
The increasing popularity of Massively Multiplayer Online Games (MMOG)
Steven Daniel Webb, Sieteng Soh
79
Voted
IWMM
1995
Springer
104views Hardware» more  IWMM 1995»
15 years 6 months ago
Dynamic Storage Allocation: A Survey and Critical Review
Paul R. Wilson, Mark S. Johnstone, Michael Neely, ...