6719 search results - page 992 / 1344 » A Generalization of Automatic Sequences |
161
click to vote
WWW
2001
ACM
16 years 8 months ago
2001
ACM
Content understanding is a crucial issue for website adaptation. In this paper we present a Function-based Object Model (FOM) that attempts to understand authors' intention b...
335
click to vote
PLDI
2009
ACM
16 years 8 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
302
click to vote
POPL
2009
ACM
16 years 8 months ago
2009
ACM
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. Devel...
338
click to vote
ECOOP
2009
Springer
16 years 8 months ago
2009
Springer
Refactoring tools allow the programmer to pretend they are working with a richer language where the behaviour of a program is automatically preserved during restructuring. In this ...
221
click to vote
CCS
2009
ACM
16 years 8 months ago
2009
ACM
The successful deployment of a security policy is closely related not only to the complexity of the security requirements but also to the capabilities/functionalities of the secur...