Sciweavers

1744 search results - page 81 / 349
» A Similarity-Driven Transfer System
Sort
View
DFG
2004
Springer
15 years 10 months ago
A Formal Component Concept for the Specification of Industrial Control Systems
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
Benjamin Braatz, Markus Klein, Gunnar Schröte...
CDC
2009
IEEE
114views Control Systems» more  CDC 2009»
15 years 10 months ago
Time headway requirements for string stability of homogeneous linear unidirectionally connected systems
— This paper investigates string stability issues in homogeneous strings of strictly proper feedback control systems with unidirectional nearest neighbour communications, using o...
Steffi Klinge, Richard H. Middleton
BIRTHDAY
2008
Springer
15 years 8 months ago
Temporal Verification of Probabilistic Multi-Agent Systems
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...
IWPC
2009
IEEE
16 years 1 months ago
Enabling more precise dependency analysis in event-based systems
Maintenance engineers need to understand component dependencies in a system to successfully modify component implementations. Interaction dependencies are especially hard to under...
Daniel Popescu, Joshua Garcia, Nenad Medvidovic
DEXAW
1998
IEEE
165views Database» more  DEXAW 1998»
15 years 10 months ago
Event Processing in Mobile and Active Database Systems Using Broadcasts
The integration of active database technology into mobile database systems allows to limit the transfer of data between mobile computers and the stationary network. In order to em...
Stefan Sauer, Olaf Zukunft