Sciweavers

524 search results - page 60 / 105
» Quality and Rigour of Action Research in Information Systems
Sort
View
IWPSE
2005
IEEE
15 years 4 months ago
Challenges in Software Evolution
Today’s information technology society increasingly relies on software at all levels. Nevertheless, software quality generally continues to fall short of expectations, and softw...
Tom Mens, Michel Wermelinger, Stéphane Duca...
IUI
1993
ACM
15 years 3 months ago
Reducing user effort in collaboration support
incompatibility. We introduce Mona, an operational email system embodying this automatic approach. Mona establishes conversation context independently of user actions through the ...
Andy Cockburn, Harold W. Thimbleby
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
14 years 9 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
SIGMOD
2008
ACM
120views Database» more  SIGMOD 2008»
15 years 11 months ago
Muse: a system for understanding and designing mappings
Schema mappings are logical assertions that specify the relationships between a source and a target schema in a declarative way. The specification of such mappings is a fundamenta...
Bogdan Alexe, Laura Chiticariu, Renée J. Mi...
CHI
2011
ACM
14 years 2 months ago
Designing a phone broadcasting system for urban sex workers in India
In this paper, we present the design, implementation, and deployment of a phone-based broadcasting system designed for reaching out to at-risk populations in urban India. We worke...
Nithya Sambasivan, Julie Weber, Edward Cutrell