Sciweavers

631 search results - page 97 / 127
» Quality Management in Systems Development: An Organizational...
Sort
View
CAISE
2006
Springer
15 years 1 months ago
From Requirements Models to Formal Specifications in B
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
Christophe Ponsard, Emmanuel Dieul
GI
2010
Springer
14 years 8 months ago
Is it Possible to Interact with a Handheld Device While Holding it in Both Hands?
Abstract: Intuitiveness, attractiveness and efficiency are in general important characteristics of high quality User Interfaces (UI). In the case of a Mass Casualty Incident (MCI)...
Tayfur Coskun, Eva Artinger, Simon Nestler, Amal B...
SIGMOD
2010
ACM
259views Database» more  SIGMOD 2010»
15 years 2 months ago
PODS: a new model and processing algorithms for uncertain data streams
Uncertain data streams, where data is incomplete, imprecise, and even misleading, have been observed in many environments. Feeding such data streams to existing stream systems pro...
Thanh T. L. Tran, Liping Peng, Boduo Li, Yanlei Di...
ECIS
2000
14 years 11 months ago
Yarra Valley Water: A Successful Change Programme for a Corporatised Water Utility
Yarra Valley Water, a corporatised water utility achieved the significant efficiencies that are promised from the move towards privatisation. At the same time it substantially imp...
J. Brudenell, Geoff A. Sandy
SOPR
1998
117views more  SOPR 1998»
14 years 9 months ago
Towards mature IT services
Many organizations provide information technology services, either to external or internal customers. They maintain software, operate information systems, manage and maintain work...
Frank Niessink, Hans van Vliet