Sciweavers

3733 search results - page 329 / 747
» Logics of communication and change
Sort
View
CJ
2000
85views more  CJ 2000»
15 years 6 months ago
Arguments and Results
If an object oriented program is a collection of communicating objects, then the objects' protocols de ne the languages the program speaks. Unfortunately, protocols are di cu...
James Noble
IRES
2002
88views more  IRES 2002»
15 years 6 months ago
The nonsense of knowledge management
Examines critically the origins and basis of 'knowledge management', its components and its development as a field of consultancy practice. Problems in the distinction b...
T. D. Wilson
ICASSP
2011
IEEE
14 years 10 months ago
Sparse spectral factorization: Unicity and reconstruction algorithms
Spectral factorization is a classical tool in signal processing and communications. It also plays a critical role in X-ray crystallography, in the context of phase retrieval. In t...
Yue M. Lu, Martin Vetterli
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
15 years 7 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...
ENGL
2007
100views more  ENGL 2007»
15 years 6 months ago
Utilizing Computational Intelligence to Assist in Software Release Decision
—Defect tracking using computational intelligence methods is used to predict software readiness in this study. By comparing predicted number of faults and number of faults discov...
Tong-Seng Quah, Mie Mie Thet Thwin