4917 search results - page 719 / 984 » Software Engineering is Not Computer Science |
134
click to vote
FOSSACS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
147
click to vote
FOSSACS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
199
Voted
EUROSYS
2010
ACM
16 years 24 days ago
2010
ACM
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to
the bus...
156
click to vote
SAC
2006
ACM
16 years 19 days ago
2006
ACM
With the growing importance of enterprise architecture the discussion about how to create or choose the right enterprise architecture framework for a specific organization arose q...
193
click to vote
ISORC
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper proposes a new method for programming and controlling distributed tasks. Applications declare behavior patterns that are used to automatically predict and reserve resou...