4755 search results - page 56 / 951 » An Implementation Model for Collaborative Applications |
CHARME
2005
Springer
14 years 1 months ago
2005
Springer
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
AOSD
2003
ACM
14 years 1 months ago
2003
ACM
From the early days of object-oriented programming, the model-view-controller paradigm has been pursued for a clear design which separates different responsibilities within an in...
SAC
2011
ACM
12 years 10 months ago
2011
ACM
We propose a novel approach and tool for collaborative software engineering and development. In model-based software engineering, the underlying data structure is a complex, direc...
CSCW
1998
ACM
14 years 20 hour ago
1998
ACM
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...
MICRO
2010
IEEE
13 years 6 months ago
2010
IEEE
This paper presents a task-centric memory model for 1000-core compute accelerators. Visual computing applications are emerging as an important class of workloads that can exploit ...