Sciweavers

2403 search results - page 94 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
CHI
2005
ACM
16 years 5 months ago
Beyond being in the lab: using multi-agent modeling to isolate competing hypotheses
In studies of virtual teams, it is difficult to determine pure effects of geographic isolation and uneven communication technology. We developed a multi-agent computer model in Ne...
Ning Nan, Erik W. Johnston, Judith S. Olson, Natha...
TSMC
2008
95views more  TSMC 2008»
15 years 4 months ago
Natural Movement Generation Using Hidden Markov Models and Principal Components
Recent studies have shown that the perception of natural movements--in the sense of being "humanlike"--depends on both joint and task space characteristics of the movemen...
Junghyun Kwon, Frank C. Park
PAA
2008
15 years 4 months ago
Prototype reduction using an artificial immune model
Artificial immune system (AIS)-based pattern classification approach is relatively new in the field of pattern recognition. The study explores the potentiality of this paradigm in ...
Utpal Garain
APN
2008
Springer
15 years 6 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
PLDI
2011
ACM
14 years 7 months ago
Isolating and understanding concurrency errors using reconstructed execution fragments
In this paper we propose Recon, a new general approach to concurrency debugging. Recon goes beyond just detecting bugs, it also presents to the programmer short fragments of buggy...
Brandon Lucia, Benjamin P. Wood, Luis Ceze