Sciweavers

1527 search results - page 80 / 306
» What About Wednesday
Sort
View
SOFTVIS
2005
ACM
14 years 2 months ago
Jove: java as it happens
Dynamic software visualization is designed to provide programmers with insights as to what the program is doing. Most current dynamic visualizations either use program traces to s...
Steven P. Reiss, Manos Renieris
BIRTHDAY
2005
Springer
14 years 2 months ago
a-logic
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
Murdoch Gabbay, Michael Gabbay
DIGRA
2005
Springer
14 years 2 months ago
Build It to Understand It: Ludology Meets Narratology in Game Design Space
Building experimental games offers an alternative methodology for researching and understanding games, beyond what can be understood by playing and studying existing games alone. ...
Michael Mateas, Andrew Stern
ATAL
2004
Springer
14 years 2 months ago
COORDINATORS: Coordination Managers for First Responders
COORDINATORs are coordination managers for fielded first responders. Each first response team is paired with a COORDINATOR coordination manager which is running on a mobile com...
Thomas Wagner, John Phelps, Valerie Guralnik, Ryan...
SOFTVIS
2003
ACM
14 years 2 months ago
Visualizing Java in Action
Dynamic software visualization is supposed to provide programmers with insights as to what the program is doing. Most current dynamic visualizations either use program traces to s...
Steven P. Reiss