296 search results - page 5 / 60 » On the roles of functions and objects in system specificatio... |
CSCW
1996
ACM
15 years 3 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...
79
Voted
IJMC
2008
14 years 11 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
14 years 11 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 ...
130
click to vote
ISORC
1998
IEEE
15 years 4 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
14 years 11 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...