3444 search results - page 454 / 689 » A Theory of Object-Oriented Design |
226
click to vote
PLDI
2011
ACM
14 years 10 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
200
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
We present a tablet-based system to collaboratively track discussion topics and ideas in a seminar-style discussion classroom. Each student uses his or her own tablet to share tex...
197
click to vote
ICDT
2012
ACM
13 years 9 months ago
2012
ACM
We introduce a new normal form, called essential tuple normal form (ETNF), for relations in a relational database where the constraints are given by functional dependencies and jo...
214
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
Combinational circuits are generally thought of as acyclic structures. It is known that cyclic structures can be combinational, and techniques have been proposed to analyze cyclic...
158
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
This poster describes an integrated set of stories and story-based activities that we have used in product development in IBM Software Group's Lotus product organizations. We...