Sciweavers

70 search results - page 10 / 14
» Safe separators for treewidth
Sort
View
ACSAC
2007
IEEE
15 years 4 months ago
Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
Deepak Chandra, Michael Franz
ICSEA
2006
IEEE
15 years 3 months ago
Application Driven Software Development
ey operate with computer abstractions not with AD ions they cannot fully bridge the semantic gap between IT and AD. Therefore, we can safely conclude that the research on computer ...
Teodor Rus, Donald Ephraim Curtis
73
Voted
IROS
2006
IEEE
131views Robotics» more  IROS 2006»
15 years 3 months ago
Support Vector Path Planning
— This paper describes a unique approach of applying a pattern classification technique to robot path planning. A collision-free path connecting a start and a goal point provide...
Jun Miura
PRDC
2006
IEEE
15 years 3 months ago
A Pragmatic Protocol for Database Replication in Interconnected Clusters
Multi-master update everywhere database replication, as achieved by protocols based on group communication such as DBSM and Postgres-R, addresses both performance and availability...
J. Grov, L. Soares, Alfrânio Correia Jr., Jo...
STORAGESS
2006
ACM
15 years 3 months ago
The case for semantic aware remote replication
This paper argues that the network latency due to synchronous replication is no longer tolerable in scenarios where businesses are required by regulation to separate their seconda...
Xiaotao Liu, Gal Niv, Prashant J. Shenoy, K. K. Ra...