2236 search results - page 315 / 448 » Secure Software Design in Practice |
121
Voted
WWW
2009
ACM
16 years 3 months ago
2009
ACM
Social networking sites have been increasingly gaining popularity. Well-known sites such as Facebook have been reporting growth rates as high as 3% per week [5]. Many social netwo...
127
Voted
HPCA
2008
IEEE
16 years 3 months ago
2008
IEEE
Dynamic binary translation (DBT) is a runtime instrumentation technique commonly used to support profiling, optimization, secure execution, and bug detection tools for application...
113
Voted
DGO
2008
15 years 4 months ago
2008
The Florida Public Hurricane Loss Model (FPHLM) developed in the State of Florida offers an open, public and effective tool for the government to regulate the insurance ratemaking...
131
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
148
Voted
CASC
2006
Springer
15 years 6 months ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...