549 search results - page 8 / 110 » Lightweight Analysis of Object Interactions |
WIOPT
2005
IEEE
14 years 2 months ago
2005
IEEE
Loss-Free handoff in Mobile Networks is an extensive research area. Mobile IP (MIP) provided a solution to enable a mobile node to roam from one location to another while maintain...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
ICSM
2003
IEEE
14 years 2 months ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
We explore making virtual desktops behave in a more physically realistic manner by adding physics simulation and using piling instead of filing as the fundamental organizational s...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
This paper describes a new collaboration technology that is carefully poised between informal, ad hoc, easy-to-initiate collaborative tools, vs. more formal, structured, and higho...