Sciweavers

5423 search results - page 842 / 1085
» Denial-of-service in automation systems
Sort
View
DSOM
2009
Springer
16 years 1 months ago
One Is Not Enough: A Hybrid Approach for IT Change Planning
Abstract. We propose a novel hybrid planning approach for the automated generation of IT change plans. The algorithm addresses an abstraction mismatch between refinement of tasks ...
Sebastian Hagen, Nigel Edwards, Lawrence Wilcock, ...
ECOWS
2009
Springer
16 years 1 months ago
A Model-Based Approach to Fault Diagnosis in Service Oriented Architectures
—This paper aims to present a method of creating architectures which allow monitoring occurrence of failure in Service oriented Architectures (SoA). The presented approach extend...
Mohammed Alodib, Behzad Bordbar
ERCIMDL
2009
Springer
108views Education» more  ERCIMDL 2009»
16 years 1 months ago
Hoppla - Digital Preservation Support for Small Institutions
Small businesses (small office/home office, SOHO) have tremendous amounts of digital information. At the same time, they have little to no expertise on how to manage it, not to me...
Stephan Strodl, Florian Motlik, Andreas Rauber
FM
2009
Springer
106views Formal Methods» more  FM 2009»
16 years 1 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis
ICCBR
2009
Springer
16 years 1 months ago
A Case-Based Perspective on Social Web Search
Web search is the main way for millions of users to access information every day, but we continue to struggle when it comes to finding the right information at the right time. In ...
Barry Smyth, Peter Briggs, Maurice Coyle, Michael ...