2132 search results - page 286 / 427 » Automated software winnowing |
151
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
150
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
This position paper proposes a device-blending architecture for aggregating device functionality via inter-device peer-topeer relationships, effectively forming a multi-device “...
112
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— The next generation of embedded computing systems will have to meet new challenges. The systems are expected to act mainly autonomously, to dynamically adapt to changin...
125
click to vote
ECBS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper provides three contributions to the study of functional integration of distributed enterprise systems. First, we describe the challenges associated with functionally in...
170
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...