2297 search results - page 245 / 460 » Production of Large Computer Programs |
120
click to vote
SIGGRAPH
1994
ACM
15 years 6 months ago
1994
ACM
strokes makes it particularly attractive in terms of storage size and transmission efficiency. Its efficient implementation is favourable for incorporation into windowing systems a...
149
click to vote
EDOC
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract-- Analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger ...
101
click to vote
CCGRID
2010
IEEE
15 years 3 months ago
2010
IEEE
Map-reduce framework has received a significant attention and is being used for programming both large-scale clusters and multi-core systems. While the high productivity aspect of ...
111
Voted
CIE
2007
Springer
15 years 2 months ago
2007
Springer
Closed captioning has been enabling access to television for people who are deaf and hard of hearing since the early 1970s. Since that time, technology and people’s demands have...
149
Voted
IFIPTCS
2010
15 years 14 days ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...