624 search results - page 27 / 125 » Application of Lightweight Formal Methods to Software Securi... |
ICECCS
2009
IEEE
15 years 4 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
73
Voted
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
DSN
2008
IEEE
14 years 11 months 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...
FORMATS
2007
Springer
15 years 1 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
102
Voted
LISA
2008
14 years 11 months ago
2008
Play-on-demand is usually regarded as a feasible access mode for web content (including streaming video, web pages and so on), web services and some Software-As-A-Service (SaaS) a...