Sciweavers

3557 search results - page 67 / 712
» Reviews
Sort
View
CONCUR
1998
Springer
14 years 3 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
14 years 2 months ago
A Review of Formalisms for Describing Interactive Behaviour
Michael D. Harrison, David J. Duke
DIMEA
2007
140views Multimedia» more  DIMEA 2007»
14 years 2 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»
14 years 2 months ago
Dynamic Storage Allocation: A Survey and Critical Review
Paul R. Wilson, Mark S. Johnstone, Michael Neely, ...