2940 search results - page 121 / 588 » Relational Parametricity and Control |
146
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
133
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...
150
click to vote
CHI
1997
ACM
15 years 8 months ago
1997
ACM
Recent work in computer input control has sought to maximize the use of the fingers in the operation of computer pointing devices. The main rationale is the hypothesis that the m...
114
click to vote
FUIN
2007
15 years 4 months ago
2007
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
127
click to vote
DIGRA
2003
Springer
15 years 9 months ago
2003
Springer
The primary aim of this paper is to look into the game related practices and significances of games. This perspective is applied to examining the pleasures derived from different ...