296 search results - page 5 / 60 » On the roles of functions and objects in system specificatio... |
CSCW
1996
ACM
14 years 1 months ago
1996
ACM
Collaborative systems provide a rich but potentially chaotic environment for their users. This paper presents a system that allows users to control collaboration by enacting polic...
IJMC
2008
13 years 9 months ago
2008
In this paper, we apply the theory of task technology fit to mobile technology, focusing specifi-cally on the role of user mobility. We describe the results of an empirical study ...
SIGSOFT
2008
ACM
13 years 9 months ago
2008
ACM
This paper describes the design of the unit testing framework JUnit v3.8. The documentation technique employed is an enhanced version of collaboration-based design, also known as ...
ISORC
1998
IEEE
14 years 1 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
ENTCS
2000
13 years 8 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...