2513 search results - page 411 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
111
click to vote
ANSS
2007
IEEE
15 years 4 months ago
2007
IEEE
This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this ...
ASPLOS
2006
ACM
15 years 4 months ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
100
click to vote
ICEGOV
2007
ACM
15 years 1 months ago
2007
ACM
Compared to the last decades, we have recently seen more and more governmental applications which are provided via the Internet directly to the citizens. Due to the long history o...
122
click to vote
CAV
2003
Springer
15 years 1 months ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....
100
click to vote
EDBTW
2010
Springer
15 years 1 months ago
2010
Springer
Successfully structuring information in databases, OLAP cubes, and XML is a crucial element in managing data nowadays. However this process brought new challenges to usability. It...