3229 search results - page 323 / 646 » Theories with the Independence Property |
176
click to vote
CCS
2007
ACM
16 years 28 days ago
2007
ACM
Despite the recent advances in the theory underlying obfuscation, there still is a need to evaluate the quality of practical obfuscating transformations more quickly and easily. T...
206
click to vote
CSR
2007
Springer
16 years 27 days ago
2007
Springer
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
173
click to vote
FROCOS
2007
Springer
16 years 27 days ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
166
click to vote
IROS
2006
IEEE
16 years 23 days ago
2006
IEEE
We propose here to deal with the optimization of velocity profiles of manipulator robots with a minimum time criterion subject to thermal constraints. This paper deals with the r...
193
click to vote
PODC
2006
ACM
16 years 21 days ago
2006
ACM
We study a novel separator property called k-path separable. Roughly speaking, a k-path separable graph can be recursively separated into smaller components by sequentially removi...