Sciweavers

632 search results - page 76 / 127
» C and C Style Guides
Sort
View
PODS
2006
ACM
116views Database» more  PODS 2006»
15 years 10 months ago
Relational lenses: a language for updatable views
We propose a novel approach to the classical view update problem. The view update problem arises from the fact that modifications to a database view may not correspond uniquely to...
Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vau...
ICCAD
2008
IEEE
125views Hardware» more  ICCAD 2008»
15 years 6 months ago
A succinct memory model for automated design debugging
— In today’s complex SoC designs, verification and debugging are becoming ever more crucial and increasingly timeconsuming tasks. The prevalence of embedded memories adds to t...
Brian Keng, Hratch Mangassarian, Andreas G. Veneri...
ETRA
2010
ACM
291views Biometrics» more  ETRA 2010»
15 years 4 months ago
Head-mounted eye-tracking of infants' natural interactions: a new method
Currently, developmental psychologists rely on paradigms that use infants’ looking behavior as the primary measure. Despite hundreds of studies describing infants’ visual expl...
John M. Franchak, Kari S. Kretch, Kasey C. Soska, ...
SIGCSE
2010
ACM
189views Education» more  SIGCSE 2010»
15 years 4 months ago
Principles of asking effective questions during student problem solving
Using effective teaching practices is a high priority for educators. One important pedagogical skill for computer science instructors is asking effective questions. This paper pre...
Kristy Elizabeth Boyer, William Lahti, Robert Phil...
IEEEARES
2009
IEEE
15 years 4 months ago
A Mobile Ambients-Based Approach for Network Attack Modelling and Simulation
Abstract—Attack Graphs are an important support for assessment and subsequent improvement of network security. They reveal possible paths an attacker can take to break through se...
Virginia N. L. Franqueira, Pascal van Eck, Roel Wi...