1411 search results - page 61 / 283 » Interactive Coding for Interactive Proofs |
ICSE
2009
IEEE-ACM
14 years 12 months ago
2009
IEEE-ACM
Software developers have long known that project success requires a robust understanding of both technical and social linkages. However, research has largely considered these inde...
PPOPP
2009
ACM
14 years 11 months ago
2009
ACM
Transactional Memory (TM) is being studied widely as a new technique for synchronizing concurrent accesses to shared memory data structures for use in multi-core systems. Much of ...
VISSOFT
2005
IEEE
14 years 4 months ago
2005
IEEE
Using visualization and exploration tools can be of great use for the understanding of a software system when only its source code is available. However, understanding a large sof...
AVI
2000
14 years 15 days ago
2000
This paper describes the software architecture for our pen-based electronic whiteboard system, called Flatland. The design goal of Flatland is to support various activities on per...
PERVASIVE
2006
Springer
13 years 11 months ago
2006
Springer
Although numerous context-aware applications have been developed and there have been technological advances for acquiring contextual information, it is still difficult to develop a...