Sciweavers

406 search results - page 9 / 82
» PASSing the provenance challenge
Sort
View
ESOP
2010
Springer
15 years 7 months ago
Deadlock-free Channels and Locks
The combination of message passing and locking to protect shared state is a useful concurrency pattern. However, programs that employ this pattern are susceptible to deadlock. That...
Jan Smans, K. Rustan M. Leino, Peter Müller
SIGMOD
2012
ACM
275views Database» more  SIGMOD 2012»
13 years 1 days ago
Computational reproducibility: state-of-the-art, challenges, and database research opportunities
Computational experiments have become an integral part of the scientific method, but reproducing, archiving, and querying them is still a challenge. The first barrier to a wider...
Juliana Freire, Philippe Bonnet, Dennis Shasha
CSREAEEE
2006
99views Business» more  CSREAEEE 2006»
14 years 11 months ago
Teaching Web Applications Development in a Fully Online Environment: Challenges, Approaches and Implementation
: This paper examines the re-development of university level web programming unit for delivery in a fully online mode. The unit, which teaches advanced xhtml, javascript, php and m...
Justin Brown
ICMLA
2007
14 years 11 months ago
Understanding Challenges in Preserving and Reconstructing Computer-Assisted Medical Decision Processes
— This paper addresses the problem of understanding preservation and reconstruction requirements for computeraided medical decision-making. With an increasing number of computer-...
Sang-Chul Lee, Peter Bajcsy
AAI
1998
112views more  AAI 1998»
14 years 9 months ago
The Robocup Physical Agent Challenge: Phase I
Traditional AI research has not given due attention to the important role that physical bodies play for agents as their interactions produce complex emergent behaviors to achieve ...
Minoru Asada, Peter Stone, Hiroaki Kitano, Barry B...