Sciweavers

1548 search results - page 73 / 310
» Estimating Software Vulnerabilities
Sort
View
SEKE
2007
Springer
15 years 5 months ago
Incremental Effort Prediction Models in Agile Development using Radial Basis Functions
One of the impediments to the wide dissemination of software estimation and measurement practices is the significant overhead imposed by these practices on the project and develop...
Raimund Moser, Witold Pedrycz, Giancarlo Succi
PEPM
2009
ACM
15 years 8 months ago
Guided model checking for programs with polymorphism
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
Neha Rungta, Eric G. Mercer
DAC
2004
ACM
16 years 5 days ago
Automated energy/performance macromodeling of embedded software
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
Anish Muttreja, Anand Raghunathan, Srivaths Ravi, ...
AOSD
2009
ACM
15 years 6 months ago
Enforcing security for desktop clients using authority aspects
Desktop client applications interact with both local and remote resources. This is both a benefit in terms of the rich features desktop clients can provide, but also a security r...
Brett Cannon, Eric Wohlstadter
DBSEC
2008
137views Database» more  DBSEC 2008»
15 years 19 days ago
Towards Automation of Testing High-Level Security Properties
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad ...