3425 search results - page 450 / 685 » A Model Driven Approach for Software Systems Reliability |
166
Voted
ICEGOV
2009
ACM
15 years 1 months ago
2009
ACM
An e-Government portal represents not only a reputable public image of the sovereignty of a region, it is responsible for serving many users from local citizens and beyond, in a r...
124
click to vote
VL
1996
IEEE
15 years 8 months ago
1996
IEEE
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...
156
click to vote
KI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The demand for humanoid robots as service robots for everyday life has increased during the last years. The processing power of the hardware and the development of comple...
139
click to vote
FATES
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
182
click to vote
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...