3713 search results - page 328 / 743 » Constructing a Calculus of Programs |
133
click to vote
SBACPAD
2008
IEEE
15 years 11 months ago
2008
IEEE
The development of grid algorithms is frequently hampered by limited means to describe topologies and lack of support for the invasive composition of legacy components in order to...
128
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Graphs capture the essential elements of many problems broadly defined as searching or categorizing. With the rapid increase of data volumes from sensors, many application discipl...
118
click to vote
UIST
2004
ACM
15 years 10 months ago
2004
ACM
Involving graphic designers in the large-scale development of user interfaces requires tools that provide more graphical flexibility and support efficient software processes. Th...
121
click to vote
HOTOS
1999
IEEE
15 years 8 months ago
1999
IEEE
Many networked applications could benefit from executing closer to the data or services with which they interact. By doing this they may be able to circumvent long communication l...
133
click to vote
FMOODS
2003
15 years 5 months ago
2003
Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...