1380 search results - page 152 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
HYBRID
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...
JELIA
2004
Springer
14 years 3 months ago
2004
Springer
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
TSP
2010
13 years 4 months ago
2010
Spectrum sharing employs dynamic allocation of frequency resources for a more efficient use of the radio spectrum. Despite its appealing features, this technology inevitably compli...
SAINT
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we propose a reputation-based trust model for P2P applications and study it a security framework. This framework makes it easy to reason about the resilience of the...
DAGSTUHL
2008
13 years 11 months ago
2008
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...