Sciweavers

1445 search results - page 87 / 289
» Properties of state spaces and their applications
Sort
View
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
16 years 24 days ago
PicNIc - Pi-calculus non-interference checker
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
Silvia Crafa, Matteo Mio, Marino Miculan, Carla Pi...
SACI
2007
IEEE
16 years 17 days ago
Geometric Theory and Control of Linear Parameter Varying Systems
: Linear Parameter Varying(LPV) systems appear in a form of LTI state space representations where the elements of the A(ρ), B(ρ), C(ρ) matrices can depend on an unknown but at a...
Jozsef Bokor
PEWASUN
2007
ACM
15 years 7 months ago
Worst-case lifetime computation of a wireless sensor network by model-checking
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...
Laurent Mounier, Ludovic Samper, Wassim Znaidi
GECCO
2010
Springer
248views Optimization» more  GECCO 2010»
15 years 9 months ago
Integrating decision space diversity into hypervolume-based multiobjective search
Multiobjective optimization in general aims at learning about the problem at hand. Usually the focus lies on objective space properties such as the front shape and the distributio...
Tamara Ulrich, Johannes Bader, Eckart Zitzler
DM
2008
94views more  DM 2008»
15 years 6 months ago
Discrete transformation hypergroups and transformation hypergroups with phase tolerance space
Tolerance spaces and algebraic structures with compatible tolerances play an important role in contemporary algebra and their applications. In this contribution we are presenting ...
Sárka Hosková, Jan Chvalina