Sciweavers

18924 search results - page 285 / 3785
» Conformance of Distributed Systems
Sort
View
CBSE
2008
Springer
15 years 8 months ago
A Component Model for Control-Intensive Distributed Embedded Systems
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
Séverine Sentilles, Aneta Vulgarakis, Tom&a...
DBSEC
2007
106views Database» more  DBSEC 2007»
15 years 8 months ago
Enforcing Honesty in Assured Information Sharing Within a Distributed System
The growing number of distributed information systems such as the internet has created a need for security in data sharing. When several autonomous parties attempt to share data, t...
Ryan Layfield, Murat Kantarcioglu, Bhavani M. Thur...
158
Voted
IJCAI
2003
15 years 8 months ago
Active Probing Strategies for Problem Diagnosis in Distributed Systems
We address the task of problem determination in a distributed system using probes, or test transactions, which gather information about system components. Effective probing requir...
Mark Brodie, Irina Rish, Sheng Ma, Natalia Odintso...
PTS
1998
81views Hardware» more  PTS 1998»
15 years 8 months ago
Testing Temporal Logic Properties in Distributed Systems
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...
IOR
2007
58views more  IOR 2007»
15 years 6 months ago
Bounds, Heuristics, and Approximations for Distribution Systems
This paper develops simple approximate methods to analyze a two-stage stochastic distribution system consisting of one warehouse and multiple retailers. We consider local and cent...
Guillermo Gallego, Özalp Özer, Paul H. Z...