794 search results - page 62 / 159 » Automatically Analyzing Software Processes: Experience Repor... |
127
click to vote
IPSN
2010
Springer
15 years 2 months ago
2010
Springer
Photo tourism [11] is a platform that allows users to transform unstructured online digital photos into a 3D experience. Nowadays, image sensors are being extensively used to allo...
110
click to vote
NDSS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
87
Voted
ADAEUROPE
2003
Springer
15 years 4 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
86
Voted
WSC
2008
15 years 2 months ago
2008
The commercial simulation environments that are available today focus primarily on the development of simulation models. They are designed for a single user. They provide animatio...
97
Voted
CHI
2009
ACM
15 years 5 months ago
2009
ACM
We build on our prior work with computer-supported teams performing a complex decision-making task on maps, where the distinction between content and process common ground is prop...