1490 search results - page 177 / 298 » Interactive semantics |
144
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
127
Voted
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
159
Voted
ESWS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper describes a real-time routing system that implements a mobile museum tour guide for providing personalized tours tailored to the user position inside the museu...
235
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
108
click to vote
CHI
2009
ACM
16 years 2 months ago
2009
ACM
People regularly interact with different representations of Web pages. A person looking for new information may initially find a Web page represented as a short snippet rendered b...