1641 search results - page 166 / 329 » Subject Composition by Roles |
161
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
143
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents narrative pictograms, diagrams designed to convey the abstract concepts of a software agreement. Narrative pictograms arose out of a need to increase the chanc...
152
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Implementing the 23 Gang-of-Four design patterns in the aspectoriented programming language Object Teams/Java (OT/J) yields modularity and reusability results roughly comparable t...
159
click to vote
CCS
2010
ACM
16 years 1 months ago
2010
ACM
A web mashup is a web application that integrates content from different providers to create a new service, not offered by the content providers. As mashups grow in popularity, ...
117
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Digital cross-organizational and cross-border collaboration are emerging research issues. Significant drivers of this development are collaboration-related information systems. A ...