1586 search results - page 113 / 318 » Modeling the evolution of operating systems: An empirical st... |
199
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
221
click to vote
PRESENCE
2008
15 years 6 months ago
2008
Effective, real-time training of health care professionals in invasive procedures is a challenging task. Furthermore, assessing in practice the acquisition of the dexterity and sk...
169
click to vote
HICSS
2007
IEEE
16 years 21 days ago
2007
IEEE
— The UML is a collection of 13 diagram notations to describe different views of a software system. The existing diagram types display model elements and their relations. Softwar...
153
click to vote
BIBM
2007
IEEE
16 years 21 days ago
2007
IEEE
Health care data from patients in the Arizona Health Care Cost Containment System, Arizona’s Medicaid program, provides a unique opportunity to exploit state-of-the-art data pro...
170
click to vote
ISSRE
2006
IEEE
16 years 11 days ago
2006
IEEE
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...