13383 search results - page 2453 / 2677 » Abstractions from proofs |
144
Voted
RAID
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Software flaws in applications such as a browser may be exploited by attackers to launch drive-by-download (DBD), which has become the major vector of malware infection....
164
click to vote
RTAS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Recent results have shown that the feasibility problem of scheduling periodic tasks with self-suspensions is NPhard in the strong sense. We observe that a variation of t...
156
Voted
SAGT
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. One reason for wanting to compute an (approximate) Nash equilibrium of a game is to predict how players will play. However, if the game has multiple equilibria that are f...
131
Voted
SAS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
133
Voted
TGIS
2010
15 years 1 months ago
2010
Building on abstract reference models, the Open Geospatial Consortium (OGC) has established standards for storing, discovering, and processing geographical information. These stan...