Sciweavers

6796 search results - page 930 / 1360
» Java for Embedded Systems
Sort
View
ENTCS
2008
88views more  ENTCS 2008»
15 years 5 months ago
Specification of Conditions for Error Diagnostics
This paper describes the basic concepts of error diagnostics and an associated rule system whose application helps to identify potential hardware/software locations of errors whic...
Christof Efkemann, Tobias Hartmann
ISOLA
2010
Springer
15 years 3 months ago
An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks
Abstract. Interface-based design relies on the idea that different components of a system may be developed independently and a system designer can connect them together only if th...
Nikolay Stoimenov, Samarjit Chakraborty, Lothar Th...
SPIN
2010
Springer
15 years 3 months ago
Automatic Generation of Model Checking Scripts Based on Environment Modeling
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
Kenro Yatake, Toshiaki Aoki
ICUMT
2009
15 years 3 months ago
Coping with variability of location sensing in large-scale ubicomp environments
The work addresses the problem of coping with a diversity of location tracking techniques available in ubiquitous computing environments. We investigate how this diversity can be e...
Petr Aksenov, Kris Luyten, Karin Coninx
EMSOFT
2010
Springer
15 years 2 months ago
Components, platforms and possibilities: towards generic automation for MDA
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Di...