469 search results - page 52 / 94 » Reasoning About Method Calls in Interface Specifications |
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
101
click to vote
PEPM
2010
ACM
15 years 6 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
100
click to vote
IUI
2005
ACM
15 years 3 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
WWW
2001
ACM
15 years 10 months ago
2001
ACM
Current Network User Interfaces (NUIs) provide entrances to an enormous amount of Web-based services, bringing about new use problems such as laborious and unsuccessful navigation...
107
click to vote
SCAI
2008
14 years 11 months ago
2008
Roboethics is a recently developed field of applied ethics which deals with the ethical aspects of technologies such as robots, ambient intelligence, direct neural interfaces and i...