6740 search results - page 1167 / 1348 » Using Classification as a Programming Language |
172
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
144
click to vote
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
136
click to vote
CGO
2010
IEEE
15 years 12 months ago
2010
IEEE
Tiling, a key transformation for optimizing programs, has been widely studied in literature. Parameterized tiled code is important for auto-tuning systems since they often execute...
131
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Interpreting compiler errors and exception messages is challenging for novice programmers. Presenting examples of how other programmers have corrected similar errors may help novi...
159
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
We consider multiagent systems situated in unpredictable environments. Agents viewed as abductive logic programs with abducibles being literals the agent could sense or receive fro...