Sciweavers

2797 search results - page 70 / 560
» Control Structures
Sort
View
SAFECOMP
1998
Springer
15 years 2 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha
ATAL
2008
Springer
15 years 1 months ago
Do humans identify efficient strategies in structured peer-to-peer systems?
In the last years, distributed coordinator-free systems, e.g., peerto-peer systems (P2P systems), have attracted much interest among researchers and practitioners. In these system...
Stephan Schosser, Klemens Böhm, Bodo Vogt
TNN
1998
100views more  TNN 1998»
14 years 10 months ago
A dynamical system perspective of structural learning with forgetting
—Structural learning with forgetting is an established method of using Laplace regularization to generate skeletal artificial neural networks. In this paper we develop a continu...
D. A. Miller, J. M. Zurada
MONET
1998
94views more  MONET 1998»
14 years 10 months ago
Hierarchically-Organized, Multihop Mobile Wireless Networks for Quality-of-Service Support
MMWN is a modular system of link- and network-layer algorithms that enables a multihop mobile wireless network to support distributed, real-time multimedia applications. In this pa...
Ram Ramanathan, Martha Steenstrup
ICIP
2004
IEEE
16 years 18 days ago
Deformable structural models
A hierarchical framework for the recognition of complex deformable shapes is developed. In extension to traditional approaches an additional layer of control is introduced to guid...
Klaus D. Tönnies, Stephan Al-Zubi, Steven Ber...