Sciweavers

878 search results - page 31 / 176
» Choice and development
Sort
View
IFM
2009
Springer
183views Formal Methods» more  IFM 2009»
15 years 2 months ago
Challenges in the Specification of Full Contracts
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
Gordon J. Pace, Gerardo Schneider
CORR
2010
Springer
103views Education» more  CORR 2010»
15 years 2 months ago
Least Squares Superposition Codes of Moderate Dictionary Size, Reliable at Rates up to Capacity
Sparse superposition codes are developed for the additive white Gaussian noise channel with average codeword power constraint. Codewords are linear combinations of subsets of vecto...
Andrew R. Barron, Antony Joseph
117
Voted
VLDB
2000
ACM
103views Database» more  VLDB 2000»
15 years 8 months ago
Performance Issues in Incremental Warehouse Maintenance
A well-known challenge in data warehousing is the efficient incremental maintenance of warehouse data in the presence of source data updates. In this paper, we identify several cr...
Wilburt Labio, Jun Yang 0001, Yingwei Cui, Hector ...
DEXAW
1998
IEEE
88views Database» more  DEXAW 1998»
15 years 9 months ago
A View on Components
Components are nowadays considered the next step in information system development. Components are assumed to foster reuse and flexibility, and reduce the complexity of distribute...
Nico H. Lassing, Daan B. B. Rijsenbrij, Johannes C...
98
Voted
CAISE
2008
Springer
15 years 7 months ago
Method Tailoring as Negotiation
The need for method tailoring is widely accepted in the field of information systems development methods. Today much attention has been devoted to viewing method tailoring either a...
Fredrik Karlsson