3801 search results - page 313 / 761 » An Approach to Modeling Software Safety |
171
click to vote
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
164
Voted
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
167
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In contrast to conventional multi-page Web applications, an Ajax application is developed as a single-page application in which content and structure are changed at runti...
154
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
194
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
This paper presents a world model for location-aware and user-aware services in ubiquitous computing environments. It can be dynamically organized like a tree based on geographica...