Sciweavers

3425 search results - page 370 / 685
» A Model Driven Approach for Software Systems Reliability
Sort
View
HICSS
2009
IEEE
189views Biometrics» more  HICSS 2009»
15 years 11 months ago
Predicting Change: A Study of the Value Frequency Model for Change of Practice
Information systems (IS) researchers have made considerable progress on defining and formalizing structured methods to support collaborative development of information systems. Co...
Robert O. Briggs, John D. Murphy, Thomas F. Carlis...
128
Voted
ECOOPW
1998
Springer
15 years 8 months ago
Agent Roles and Aspects
Agent systems are highly distributed and feature widespread coordination and collaboration. Because of these characteristics, a traditional object oriented approach to software de...
Elizabeth A. Kendall
ICSE
2007
IEEE-ACM
16 years 4 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
CLOUD
2010
ACM
15 years 9 months ago
A self-organized, fault-tolerant and scalable replication scheme for cloud storage
Failures of any type are common in current datacenters, partly due to the higher scales of the data stored. As data scales up, its availability becomes more complex, while differe...
Nicolas Bonvin, Thanasis G. Papaioannou, Karl Aber...
154
Voted
ECBS
2009
IEEE
164views Hardware» more  ECBS 2009»
15 years 11 months ago
Semantically Enhanced Containers for Concurrent Real-Time Systems
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
Damian Dechev, Peter Pirkelbauer, Nicolas Rouquett...