1356 search results - page 74 / 272 » The ideal of verified software |
EUROMICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
Composition can take place during different stages of component life cycle. We identify two main stages : design phase - components are composed into composite components for reus...
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
We present a method for performing fault localization using similar program spectra. Our method assumes the existence of a faulty run and a larger number of correct runs. It then ...
127
click to vote
UIST
2000
ACM
15 years 4 months ago
2000
ACM
We describe a new sketching interface in which shape recognition and morphing are tightly coupled. Raw input strokes are continuously morphed into ideal geometric shapes, even bef...
ISF
2002
14 years 11 months ago
2002
Software agent-based negotiation is a major method to automate the interactions in electronic marketplaces and Internet enabled communities. The traditional approach is to let the...
103
click to vote
ASWEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...