770 search results - page 95 / 154 » Experience in e-Science Requirements Engineering |
102
click to vote
ICSE
2000
IEEE-ACM
15 years 2 months ago
2000
IEEE-ACM
Interactive program analysis tools are often tailored to one particular representation of programs, making adaptation to a new language costly. One way to ease adaptability is to ...
FASE
2010
Springer
15 years 2 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
COMPSAC
2009
IEEE
15 years 2 months ago
2009
IEEE
—As an effective approach to maintain software system without interrupting the service, online migration has been applied for many goals, e.g. achieving a higher system performan...
AVI
2008
15 years 1 months ago
2008
Pointing on screen edges is a frequent task in our everyday use of computers. Screen edges can help stop cursor movements, requiring less precise movements from the user. Thus, po...
ASWEC
2008
IEEE
15 years 1 months ago
2008
IEEE
Automatic identification of software faults has enormous practical significance. This requires characterizing program execution behavior. Equally important is the aspect of diagno...