1136 search results - page 123 / 228 » Case Study of Object-Oriented Software Development |
ITSSA
2006
13 years 10 months ago
2006
: The software industry is faced with the fast growing complexity of IT infrastructures. This makes manual administration increasingly difficult and appears to be the limiting fact...
FMAM
2010
13 years 8 months ago
2010
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
MOBICOM
2006
ACM
14 years 4 months ago
2006
ACM
Despite their widespread deployment, many aspects of wireless network performance are poorly understood, and there is great room from improvement in wireless network reliability a...
ATVA
2006
Springer
14 years 2 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
DSN
2008
IEEE
14 years 2 days ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...