Sciweavers

437 search results - page 1 / 88
» System theoretic properties of platoon-type systems
Sort
View
CDC
2008
IEEE
119views Control Systems» more  CDC 2008»
13 years 11 months ago
System theoretic properties of platoon-type systems
— This paper presents readily checkable criteria for several system theoretic properties (stability, approximate and exact controllability, exponential stabilizability) for a par...
Ruth F. Curtain, Orest V. Iftime, Hans Zwart
JFLP
2002
84views more  JFLP 2002»
13 years 4 months ago
Subject Reduction of Logic Programs as Proof-Theoretic Property
We consider prescriptive type systems for logic programs (as in G
Pierre Deransart, Jan-Georg Smaus
CTRS
1992
13 years 8 months ago
Decidability of Regularity and Related Properties of Ground Normal Form Languages
ded abstract of this paper is published in the proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems, Pont- -Mousson, 1992 1
Gregory Kucherov, Mohamed Tajine
IPPS
2007
IEEE
13 years 11 months ago
A Semi-Distributed Axiomatic Game Theoretical Mechanism for Replicating Data Objects in Large Distributed Computing Systems
Replicating data objects onto servers across a system can alleviate access delays. The selection of data objects and servers requires solving a constraint optimization problem, wh...
Samee Ullah Khan, Ishfaq Ahmad
EUROCAST
2007
Springer
108views Hardware» more  EUROCAST 2007»
13 years 11 months ago
A Systems Theoretic Approach to the Design of Scalable Cryptographic Hash Functions
Cryptographic hash functions are security primitives that compute check sums of messages in a strong manner and this way are of fundamental importance for ensuring integrity and au...
Josef Scharinger