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 26 days 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 25 days 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
IEEEARES
2007
IEEE
16 years 25 days 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...
ECMDAFA
2007
Springer
100views Hardware» more  ECMDAFA 2007»
16 years 21 days 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