Sciweavers

6474 search results - page 282 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
174
Voted
IPPS
2002
IEEE
15 years 11 months ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders
EWSPT
2003
Springer
15 years 12 months ago
Providing Highly Automated and Generic Means for Software Deployment Process
We present a new approach for the management and enactment of deployment process by a deployment processor ORYA (Open enviRonment to deploY Applications). ORYA aims to integrate te...
Vincent Lestideau, Noureddine Belkhatir
ICWE
2004
Springer
16 years 16 hour ago
Engineering a Semantic Web for Pathology
Abstract. Digital pathology or telepathology intends to extend the usage of electronic images for diagnostical, support or educational purposes in anatomical or clinical pathology....
Robert Tolksdorf, Elena Paslaru Bontas
DEBS
2010
ACM
15 years 10 months ago
An event view model and DSL for engineering an event-based SOA monitoring infrastructure
An event-based solution that uses events to convey information to a monitoring tool is well suited to implementing a non-intrusive monitoring infrastructure. This enables an SOA s...
Emmanuel Mulo, Uwe Zdun, Schahram Dustdar
CORR
2011
Springer
216views Education» more  CORR 2011»
15 years 1 months ago
Approaches to Formal Verification of Security Protocols
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
Suvansh Lal, Mohit Jain, Vikrant Chaplot