2086 search results - page 383 / 418 » Principles of Software Evolution |
ICDE
2011
IEEE
12 years 11 months ago
2011
IEEE
— Enterprise database systems handle a variety of diverse query workloads that are of different importance to the business. For example, periodic reporting queries are usually mi...
SIGIR
2012
ACM
11 years 10 months ago
2012
ACM
With its close ties to the Web, the IR community is destined to leverage the dissemination and collaboration capabilities that the Web provides today. Especially with the advent o...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
LCTRTS
2010
Springer
14 years 2 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...