3713 search results - page 690 / 743 » Constructing a Calculus of Programs |
ISSTA
2004
ACM
14 years 3 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
STOC
2004
ACM
14 years 3 months ago
2004
ACM
Several peer-to-peer networks are based upon randomized graph topologies that permit efficient greedy routing, e.g., randomized hypercubes, randomized Chord, skip-graphs and const...
UIST
2004
ACM
14 years 3 months ago
2004
ACM
We present SketchREAD, a multi-domain sketch recognition engine capable of recognizing freely hand-drawn diagrammatic sketches. Current computer sketch recognition systems are dif...
SIGMETRICS
2010
ACM
14 years 2 months ago
2010
ACM
Perhaps surprisingly, no practical performance models exist for popular (and complex) client applications such as Adobe’s Creative Suite, Microsoft’s Office and Visual Studio...
SIGMOD
2010
ACM
14 years 2 months ago
2010
ACM
Spreadsheets are among the most commonly used applications for data management and analysis. Perhaps they are even among the most widely used computer applications of all kinds. H...