1353 search results - page 80 / 271 » The Next Generation of Computer Supported Interaction and Co... |
152
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
161
click to vote
ISCC
2008
IEEE
15 years 10 months ago
2008
IEEE
: Owing to the recent technical advances in the computing and mobile communications domain, the world of online virtual communities is experiencing a phenomenal growth and ever-inc...
165
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
One of the visions of pervasive computing is using mobile computers to interact with networked devices. A question raised by this vision is: Should the userinterfaces of these dev...
120
click to vote
AINA
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents DiV ES, a distributed support for the development of networked Distributed Virtual Environments. DiV ES exploits the publish subscribe interaction model to def...
163
click to vote
DOA
2001
15 years 5 months ago
2001
Java Remote Method Invocation (RMI) is a specification for building distributed object-oriented applications. RMI was designed primarily for use in conventional, wired computing e...