10182 search results - page 1904 / 2037 » Case Studies |
183
click to vote
JAR
2000
15 years 5 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
125
click to vote
MISQ
2000
15 years 5 months ago
2000
This research considers whether interpretive techniques can be used to enhance our understanding of computer-mediated discussions. The case study considered in this research is th...
164
click to vote
AIS
1999
Springer
15 years 5 months ago
1999
Springer
The past decade has seen the development of a perspective holding that technology is socially constructed (Mackenzie and Wacjman, 1985; Bijker, Hughes and Pinch, 1987; Bijker and L...
187
click to vote
SAC
2002
ACM
15 years 5 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
144
click to vote
TOSEM
1998
15 years 5 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...