Sciweavers

1060 search results - page 51 / 212
» Using an Agile Approach in a Large, Traditional Organization
Sort
View
CASES
2011
ACM
13 years 11 months ago
Cost-effective safety and fault localization using distributed temporal redundancy
Cost pressure is driving vendors of safety-critical systems to integrate previously distributed systems. One natural approach we have previous introduced is On-Demand Redundancy (...
Brett H. Meyer, Benton H. Calhoun, John Lach, Kevi...
CORR
2008
Springer
103views Education» more  CORR 2008»
14 years 12 months ago
Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime
Distributed systems are now both very large and highly dynamic. Peer to peer overlay networks have been proved efficient to cope with this new deal that traditional approaches can ...
Vincent Gramoli, Anne-Marie Kermarrec, Achour Most...
EUROCAST
2007
Springer
161views Hardware» more  EUROCAST 2007»
15 years 3 months ago
Using Verification Technology to Specify and Detect Malware
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
Andreas Holzer, Johannes Kinder, Helmut Veith
IJCSA
2007
104views more  IJCSA 2007»
14 years 11 months ago
Solving the Satisfiability Problem Using Finite Learning Automata
A large number of problems that occur in knowledge-representation, learning, VLSI-design, and other areas of artificial intelligence, are essentially satisfiability problems. The ...
Ole-Christoffer Granmo, Noureddine Bouhmala
ECAL
2007
Springer
15 years 6 months ago
Building Virtual Ecosystems from Artificial Chemistry
Abstract. This paper adopts an interdisciplinary view of the significant elements of ecosystems and the methods by which these might be simulated to explore theoretical issues of r...
Alan Dorin, Kevin B. Korb