400 search results - page 40 / 80 » Reasoning About Hidden Mechanisms |
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
163
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
The development of sensors capable of obtaining 3D scans of crime scenes is revolutionizing the ways in which crime scenes can be analyzed and at the same time is driving the need ...
CHI
2002
ACM
15 years 10 months ago
2002
ACM
To form a deep understanding of the present; we need to find and engage history. We present an informal history capture and retrieval mechanism for collaborative, earlystage infor...
169
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...