Sciweavers

830 search results - page 28 / 166
» The Changing World of Outsourcing
Sort
View
CAISE
1994
Springer
14 years 23 days ago
Information Systems Modernization
Put yourself in the place of a corporate Chief Information Officer or government agency Information Resource manager... The new budget managers are looking for a quick kill. Your ...
Anthony I. Wasserman
SIGKDD
2008
113views more  SIGKDD 2008»
13 years 8 months ago
On exploiting the power of time in data mining
We introduce the new paradigm of Change Mining as data mining over a volatile, evolving world with the objective of understanding change. While there is much work on incremental m...
Mirko Böttcher, Frank Höppner, Myra Spil...
BIRTHDAY
2007
Springer
14 years 19 days ago
Deriving Specifications for Systems That Are Connected to the Physical World
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
Cliff B. Jones, Ian J. Hayes, Michael A. Jackson
ASPLOS
2008
ACM
13 years 10 months ago
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires adva...
Shan Lu, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou
CORR
2007
Springer
117views Education» more  CORR 2007»
13 years 8 months ago
Dynamic Logic of Common Knowledge in a Proof Assistant
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
Pierre Lescanne, Jérôme Puissé...