932 search results - page 84 / 187 » Verifying Progress in Timed Systems |
130
click to vote
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
112
Voted
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Lymphangioleiomyomatosis (LAM) is a multisystem disorder associated with proliferation of smooth muscle-like cells, which leads to destruction of lung parenchyma. Subjective gradi...
102
Voted
ISDA
2005
IEEE
15 years 9 months ago
2005
IEEE
Open and distance Learning (ODL) gives learners freedom of time, place and pace of study, putting learner self-direction centre-stage. However, increased responsibility should not...
154
Voted
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to ac...
135
Voted
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...