4854 search results - page 846 / 971 » It's the Programming, Stupid |
167
click to vote
SP
2007
IEEE
16 years 18 days ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...
186
click to vote
ALGOSENSORS
2007
Springer
16 years 16 days ago
2007
Springer
e for abstract modeling, algorithmic design and analysis to achieve provably efficient, scalable and fault-tolerant realizations of such huge, highly-dynamic, complex, non-conventi...
144
click to vote
CCS
2007
ACM
16 years 15 days ago
2007
ACM
This paper studies an active underground economy which specializes in the commoditization of activities such as credit card fraud, identity theft, spamming, phishing, online crede...
172
click to vote
CP
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. There is no standard modelling language for constraint programming (CP) problems. Most solvers have their own modelling language. This makes it difficult for modellers to...
163
click to vote
ICS
2007
Tsinghua U.
16 years 14 days ago
2007
Tsinghua U.
Sensitivity Analysis (SA) is a novel compiler technique that complements, and integrates with, static automatic parallelization analysis for the cases when relevant program behavi...