Sciweavers

183 search results - page 13 / 37
» Verification Approach of Metropolis Design Framework for Emb...
Sort
View
DESRIST
2009
Springer
142views Education» more  DESRIST 2009»
14 years 1 months ago
Design alternatives for the evaluation of design science research artifacts
Within a consideration of cost effectiveness the evaluation of design science research artifacts is of major importance. In the past, a plenitude of approaches has been developed ...
Anne Cleven, Philipp Gubler, Kai M. Hüner
EMNETS
2007
14 years 16 days ago
Increasing the reliability of wireless sensor networks with a distributed testing framework
Designing Wireless Sensor Networks (WSNs) has proven to be a slow, tedious and error-prone process due to the inherent intricacies of designing a distributed, wireless, and embedd...
Matthias Woehrle, Christian Plessl, Jan Beutel, Lo...
CASES
2011
ACM
12 years 8 months ago
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon...
ICPR
2008
IEEE
14 years 9 months ago
Recognition of books by verification and retraining
The problem of character recognition in a book should be formulated significantly different from that of a single page or word. An ideal approach to design such a recognizer is to...
C. V. Jawahar, N. V. Neeba
RTAS
2005
IEEE
14 years 2 months ago
Applying Sensitivity Analysis in Real-Time Distributed Systems
During real-world design of embedded real-time systems, it cannot be expected that all performance data required for scheduling analysis is fully available up front. In such situa...
Razvan Racu, Marek Jersak, Rolf Ernst