Sciweavers

237 search results - page 3 / 48
» Ensuring Correctness at the Application Level: a Software Fr...
Sort
View
FTCS
1998
79views more  FTCS 1998»
13 years 7 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
DAGSTUHL
2006
13 years 7 months ago
A Framework for Analyzing Composition of Security Aspects
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
Jorge Fox, Jan Jürjens
IJCIM
2007
82views more  IJCIM 2007»
13 years 6 months ago
Towards a classification framework for interoperability of enterprise applications
: Software applications interoperability is a challenge for modern enterprises. It needs establishing standards and protocols for data exchange between different enterprise systems...
Hervé Panetto
GI
2010
Springer
13 years 4 months ago
Towards a Service Level Management Framework for Service Value Networks
: The ongoing trend towards a global services economy creates considerable market opportunities and challenges for providers of Software-as-aService (SaaS). For meeting customer ex...
Christof Momm, Frank Schulz
SUTC
2006
IEEE
14 years 9 days ago
Detection and Repair of Software Errors in Hierarchical Sensor Networks
Abstract— Sensor networks are being increasingly deployed for collecting critical data in various applications. Once deployed, a sensor network may experience faults at the indiv...
Douglas Herbert, Yung-Hsiang Lu, Saurabh Bagchi, Z...