1380 search results - page 152 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
123
Voted
HYBRID
1997
Springer
15 years 7 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...
139
Voted
JELIA
2004
Springer
15 years 9 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 ...
151
Voted
TSP
2010
14 years 10 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...
130
Voted
SAINT
2008
IEEE
15 years 10 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...
82
Voted
DAGSTUHL
2008
15 years 5 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 ...