7619 search results - page 80 / 1524 » Interaction, observance or both |
82
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
We investigate the decidability of observational equivalence and approximation in “Syntactic Control of Interference” (SCI). By asg denotations of terms in an inequationally fu...
80
Voted
NORDICHI
2004
ACM
15 years 6 months ago
2004
ACM
In this paper we describe a two-part study that was used to establish the requirements for an interactive museum environment for children aged between 5 and 10. The paper outlines...
92
Voted
ENTCS
2002
15 years 18 days ago
2002
The Ambient Calculus offers many ways in which processes can interact and be observed. In the context of Levi and Sangiorgi's Safe Mobile Ambients (SA), the extra co-capabili...
85
Voted
INTERACT
2003
15 years 2 months ago
2003
: In one study, people are observed to keep web information for later use through many different methods including the use of Bookmarks (or Favorites), self-addressed email, hand-w...
132
Voted
ENTCS
2006
15 years 24 days ago
2006
While a lot of progress has been made in improving analyses and tools that aid software development, less effort has been spent on studying how such tools are commonly used in pra...