Sciweavers

1746 search results - page 170 / 350
» Residual for Component Specifications
Sort
View
JCP
2006
106views more  JCP 2006»
15 years 4 months ago
Using Firewalls to Enforce Enterprise-wide Policies over Standard Client-Server Interactions
We propose and evaluate a novel framework for enforcing global coordination and control policies over message passing software components in enterprise computing environments. This...
Tuan Phan, Zhijun He, Thu D. Nguyen
RTS
2006
176views more  RTS 2006»
15 years 4 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
CAD
2004
Springer
15 years 4 months ago
Multiple-view feature modelling for integral product development
To allow a designer to focus on the information that is relevant for a particular product development phase, is an important aspect of integral product development. Unlike current...
Willem F. Bronsvoort, Alex Noort
INTR
2007
90views more  INTR 2007»
15 years 4 months ago
Classification and synthesis of quality approaches in e-government services
ed abstract Purpose: The purpose of this paper is to present a multi-faceted summary and classification of the existing literature in the field of quality of service for egovernmen...
Christos Halaris, Babis Magoutas, Xenia Papadomich...
SIGOPS
2010
80views more  SIGOPS 2010»
15 years 2 months ago
Mining dependency in distributed systems through unstructured logs analysis
Dependencies among system components are crucial to locating root errors in a distributed system. In this paper, we propose an approach to mine intercomponent dependencies from un...
Jian-Guang Lou, Qiang Fu, Yi Wang, Jiang Li