5600 search results - page 756 / 1120 » Synthesizing robust systems |
192
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, cl...
182
click to vote
SIGMETRICS
2004
ACM
16 years 6 days ago
2004
ACM
A large variety of communication systems, including telephone and data networks, can be represented by so-called Whittle networks. The stationary distribution of these networks is...
189
click to vote
ADBIS
2004
Springer
16 years 6 days ago
2004
Springer
What is presented in this paper is our work in the area of image organization and retrieval in Image Databases using global color features and spatial color distribution of images....
198
click to vote
BIOADIT
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. A method is presented to predict phase relationships between coupled phase oscillators. As an illustration of how the method can be applied, a distributed Central Pattern...
182
click to vote
CAISE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...