Sciweavers

10848 search results - page 355 / 2170
» Programming in Biomolecular Computation
Sort
View
PLDI
2012
ACM
13 years 9 months ago
Automated error diagnosis using abductive inference
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
Isil Dillig, Thomas Dillig, Alex Aiken
COMPUTER
2007
93views more  COMPUTER 2007»
15 years 6 months ago
The Computing Profession and Higher Education
not things, but abstractions that represent things. Data use provides human civilization’s foundation, and computers and other digital technologies have merely amplified this us...
W. Neville Holmes
SIGUCCS
2000
ACM
15 years 10 months ago
Opening Computing Labs, Opening Minds
The School of Architecture and Allied Arts at the University of Oregon consists of nine departments and programs with 5000 students, 160 faculty, and a few dozen staff. When I cam...
Christopher Jones
HICSS
2003
IEEE
193views Biometrics» more  HICSS 2003»
16 years 2 days ago
Ambient computing applications: an experience with the SPREAD approach
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
Paul Couderc, Michel Banâtre
SIGUCCS
2000
ACM
15 years 10 months ago
Approaches to Computer Lab Management: Lockdown vs. Freedom
Basic approaches to computer lab management range along a spectrum from total lockdown of lab computers to total freedom. Total lockdown, which can be implemented with system perm...
Christopher Jones, Yasemin Tunc, Deborah Cherry