Sciweavers

4350 search results - page 300 / 870
» Case studies for contract-based systems
Sort
View
DGO
2003
129views Education» more  DGO 2003»
15 years 8 months ago
Scientist, Politician, and Bureaucrat Subcultures as Barriers to Information-Sharing in Government Agencies
This paper is based on an exploratory, interdisciplinary study of issues related to information-sharing within and across three public agencies. We build on Schein’s (1996) work...
David B. Drake, Marianne J. Koch, Nicole Steckler
ECIS
2001
15 years 8 months ago
Back to the Future: From Knowledge Management to Data Management
This paper argues for a return to fundamentals as we enter the new millennium. It argues that the field of Information Systems should no longer be distracted from its natural locu...
Robert D. Galliers, Sue Newell
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 11 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
EMNETS
2007
15 years 10 months ago
Increasing the reliability of wireless sensor networks with a distributed testing framework
Designing Wireless Sensor Networks (WSNs) has proven to be a slow, tedious and error-prone process due to the inherent intricacies of designing a distributed, wireless, and embedd...
Matthias Woehrle, Christian Plessl, Jan Beutel, Lo...
ENTCS
2007
143views more  ENTCS 2007»
15 years 6 months ago
Formal Fault Tree Analysis - Practical Experiences
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
Frank Ortmeier, Gerhard Schellhorn