Sciweavers

1638 search results - page 193 / 328
» Properties of input-consuming derivations
Sort
View
CDC
2008
IEEE
158views Control Systems» more  CDC 2008»
16 years 1 months ago
On passivity based control of stochastic port-Hamiltonian systems
— This paper introduces stochastic port-Hamiltonian systems and clarifies some of their properties. Stochastic portHamiltonian systems are extension of port-Hamiltonian systems ...
Satoshi Satoh, Kenji Fujimoto
DEXAW
2007
IEEE
91views Database» more  DEXAW 2007»
16 years 1 months ago
Aspects of Broad Folksonomies
Folksonomies, collaboratively created sets of metadata, are becoming more and more important for organising information and knowledge of communites in the Web. While for a single ...
Mathias Lux, Michael Granitzer, Roman Kern
ICC
2007
IEEE
118views Communications» more  ICC 2007»
16 years 1 months ago
Analysis of Timing Error Detectors for Orthogonal Space-Time Block Codes
Abstract—We analyze the properties of a class of low complexity timing error detectors for the purpose of timing error tracking in orthogonal space-time block coding receivers. F...
Pawel A. Dmochowski, Peter J. McLane
175
Voted
IEEEARES
2007
IEEE
16 years 1 months ago
Pastures: Towards Usable Security Policy Engineering
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
Sergey Bratus, Alex Ferguson, Doug McIlroy, Sean W...
203
Voted
ECMDAFA
2007
Springer
100views Hardware» more  ECMDAFA 2007»
16 years 1 months ago
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
Andreas Ulrich, Alexandre Petrenko