76 search results - page 14 / 16 » Interpreting the neural code with Formal Concept Analysis |
100
click to vote
CMSB
2006
Springer
15 years 3 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
112
click to vote
ICSE
2008
IEEE-ACM
16 years 13 days ago
2008
IEEE-ACM
Web applications support many of our daily activities, but they often have security problems, and their accessibility makes them easy to exploit. In cross-site scripting (XSS), an...
100
click to vote
JANCL
2008
14 years 11 months ago
2008
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
In a typical client-server scenario, a trusted server provides valuable services to a client, which runs remotely on an untrusted platform. Of the many security vulnerabilities th...
EMSOFT
2007
Springer
15 years 5 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...