Sciweavers

6348 search results - page 232 / 1270
» Extensible control architectures
Sort
View
FTCS
1998
79views more  FTCS 1998»
15 years 6 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
CCS
2000
ACM
15 years 9 months ago
XML document security based on provisional authorization
The extensible markup language (XML) is a promising standard for describing semi-structured information and contents on the Internet. When XML comes to be a widespread data encodi...
Michiharu Kudo, Satoshi Hada
200
Voted
WOSP
2004
ACM
15 years 11 months ago
Computing the performability of layered distributed systems with a management architecture
This paper analyzes the performability of client-server applications that use a separate fault management architecture for monitoring and controlling of the status of the applicat...
Olivia Das, C. Murray Woodside
GCC
2003
Springer
15 years 10 months ago
Collaboration-Based Architecture of Flexible Software Configuration Management System
Software configuration management (SCM) products have evolved over the years and have become large and powerful, but they are not flexible enough to allow the user to pick the kind...
Ying Ding, Weishi Zhang, Lei Xu
AIIA
2001
Springer
15 years 10 months ago
A Constraint-Based Architecture for Flexible Support to Activity Scheduling
Abstract. The O-OSCAR software architecture is a problem solving environment for complex scheduling problem that is based on a constraintbased representation. On top of this core r...
Amedeo Cesta, Gabriella Cortellessa, Angelo Oddi, ...