1802 search results - page 70 / 361 » Complexity Theory for Operators in Analysis |
159
click to vote
STACS
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
131
Voted
SIVP
2010
15 years 4 months ago
2010
Resource aware operation of sensor networks requires adaptive re-organization to dynamically adapt to the operational environment. A complex dynamical system of interacting compone...
184
click to vote
IFIP
2010
Springer
15 years 26 days ago
2010
Springer
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
131
click to vote
CIE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
154
click to vote
EMO
2005
Springer
15 years 11 months ago
2005
Springer
Water systems often allow efficient water uses via water reuse and/or recirculation. Defining the network layout connecting water-using processes is a complex problem which involv...