794 search results - page 110 / 159 » Automatically Analyzing Software Processes: Experience Repor... |
133
click to vote
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
100
Voted
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
102
Voted
VIP
2001
15 years 1 months ago
2001
Visualisation Systems are in general designed to maximise the cognitive ability of system users particularly when exposed to large sets of otherwise difficult to comprehend data, ...
81
Voted
ICSE
2007
IEEE-ACM
16 years 19 days ago
2007
IEEE-ACM
We present a software tool and a framework for security protocol change management. While we focus on trust negotiation protocols in this paper, many of the ideas are generally ap...
126
click to vote
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
We present a biologically-motivated system for the recognition of actions from video sequences. The approach builds on recent work on object recognition based on hierarchical feed...