3865 search results - page 640 / 773 » From Bidirectionality to Alternation |
172
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
158
click to vote
ICCCN
2007
IEEE
15 years 10 months ago
2007
IEEE
Wireless mesh networks (WMN) have attracted considerable interest in recent years as a convenient, flexible and low-cost alternative to wired communication infrastructures in many ...
202
click to vote
ACMMSP
2006
ACM
15 years 10 months ago
2006
ACM
We introduce a method for providing lightweight daemons, called simplifiers, that attach themselves to program data. If a data item has a simplifier, the simplifier may be run aut...
173
click to vote
CGI
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. In this paper we argue for our NPAR system as an effective 2D alternative to most of NPR research which is focused on frame coherent stylised rendering of 3D models. Our ...
178
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...