371 search results - page 27 / 75 » Comparing models for identifying fault-prone software compon... |
143
click to vote
DATE
2008
IEEE
16 years 12 days ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
146
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
We argue that finding vulnerabilities in software components is different from finding exploits against them. Exploits that compromise security often use several low-level details...
164
click to vote
ICRA
2007
IEEE
16 years 7 days ago
2007
IEEE
— Portable, modular and extensible software allows robotics researchers to pool their resources by sharing algorithms, thus advancing research in the field of robotics at a fast...
171
click to vote
AOSE
2004
Springer
15 years 11 months ago
2004
Springer
AOSE methodologies and models borrow various abstractions and concepts from the organization and sociology disciplines. Although they all ti-agent system as organized society, the ...
172
click to vote
ISCA
1991
IEEE
15 years 9 months ago
1991
IEEE
We use mean value analysis models to compare representative hardware and software cache coherence schemes for a large-scale shared-memory system. Our goal is to identify the workl...