4211 search results - page 558 / 843 » Types as Abstract Interpretations |
168
click to vote
ADG
2006
Springer
16 years 15 days ago
2006
Springer
Abstract. We propose an algorithm for automated recognition of computationally constructed curves and discuss several aspects of the recognition problem. Recognizing loci means det...
240
click to vote
ADVIS
2006
Springer
16 years 15 days ago
2006
Springer
Abstract. Contextual ontologies are ontologies that characterize a concept by a set of properties that vary according to context. Contextual ontologies are now crucial for users wh...
164
click to vote
CSFW
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
158
click to vote
ICDE
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract— Detecting and unraveling incipient coordinated attacks on Internet resources requires a distributed network monitoring infrastructure. Such an infrastructure will have ...
151
click to vote
ICRA
2005
IEEE
16 years 3 days ago
2005
IEEE
Abstract— Constructing climbing behaviors for hyperredundant robots that account for the system dynamics requires a model of robot dynamics under contact and friction. One common...