532 search results - page 39 / 107 » Process Algebras for Quantitative Analysis |
CN
2006
13 years 7 months ago
2006
In this paper, we introduce a new security property which intends to capture the ability of a cryptographic protocol being resistant to denial of service. This property, called im...
AUTOMATICA
2000
13 years 7 months ago
2000
In this paper, a learning control system is considered for motion systems that are subject to two types of disturbances; reproducible disturbances, that re-occur each run in the s...
ISAMI
2010
13 years 5 months ago
2010
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
ICDE
1994
IEEE
13 years 12 months ago
1994
IEEE
During the past few years, several studies have been made on the performance of real-time database systems with respect to the number of transactions that miss their deadlines. Th...
APVIS
2004
13 years 9 months ago
2004
Information visualisation has become increasingly important in science, engineering and commerce as a tool to convey and explore complex sets of information. This paper introduces...