5377 search results - page 146 / 1076 » Programming Languages For Interactive Computing |
GI
2009
Springer
14 years 1 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
POPL
2007
ACM
14 years 9 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
UM
2009
Springer
14 years 3 months ago
2009
Springer
We present a model of user affect to recognize multiple user emotions during interaction with an educational computer game. Our model deals with the high level of uncertainty invol...
APLAS
2007
ACM
14 years 1 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
IFIP
1994
Springer
14 years 1 months ago
1994
Springer
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...