264 search results - page 40 / 53 » Stochasticity of probabilistic systems: analysis methodologi... |
84
Voted
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— We are developing a swarm-intelligent inspection system based on a swarm of autonomous, miniature robots, using only on-board, local sensors. To estimate intrinsic adva...
89
Voted
FORTE
2010
15 years 1 months ago
2010
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...
91
Voted
JDCTA
2010
14 years 6 months ago
2010
Context-awareness has been considered as promising topic in pervasive computing area, but a review of the existing approaches shown that developing diverse application services in...
CODES
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper presents a system-level design methodology for networked embedded systems that exploits existing data-redundancy to increase their reliability. The presented approach n...