3103 search results - page 424 / 621 » Managing Concern Interfaces |
260
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
There has been much recent work on algorithms for limiting disclosure in data publishing. However, these algorithms have not been put to use in any comprehensive, usable toolkit f...
175
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
Given the current trend towards application interoperability and XML-based data integration, there is an increasing need for XML interfaces to relational database management system...
143
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
169
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
This paper presents a new interaction technique for browsing large visual information bases in a collaborative environment. The ATELIER project deals with learning environments fo...
153
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
In this paper we report on the experience of using our concept mapping approach on an agile software project to assess its fitness. Participants used our novel concept mapping app...