1088 search results - page 16 / 218 » Tools for support of automata-based programming |
ISPW
2005
IEEE
14 years 1 months ago
2005
IEEE
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
EUROPAR
2003
Springer
14 years 18 days ago
2003
Springer
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...
OOPSLA
2004
Springer
14 years 23 days ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
ICISC
2008
13 years 8 months ago
2008
This paper proposes a novel technique, called instruction set limitation, to strengthen the resilience of software diversification against collusion attacks. Such attacks require a...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
As a framework evolves, changes in its Application Programming Interface (API) can break client programs that extend the framework. Repairing a client program can be a challenging...