8190 search results - page 1471 / 1638 » From Timed to Hybrid Systems |
185
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
162
click to vote
NSPW
2003
ACM
15 years 11 months ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...
153
click to vote
WPES
2003
ACM
15 years 11 months ago
2003
ACM
We give an efficient protocol for sequence comparisons of the edit-distance kind, such that neither party reveals anything about their private sequence to the other party (other t...
158
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
This paper focuses on a task allocation problem, particularly in cases where the task is to find a solution to a search problem or a constraint satisfaction problem. If the searc...
207
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— Recent advances in graph-based search techniques derived from Kleinberg’s work [1] have been impressive. This paper further improves the graph-based search algorithm ...