Sciweavers

1613 search results - page 107 / 323
» Model-Driven Constraint Engineering
Sort
View
IROS
2008
IEEE
133views Robotics» more  IROS 2008»
15 years 10 months ago
Haptic display of dynamic systems subject to holonomic constraints
Abstract— In this paper, we present a framework that enables an operator to haptically and visually interact with a dynamic simulation subject to virtual holonomic constraints. T...
Adolfo Rodriguez, Luis Basañez, J. Edward C...
121
Voted
SAC
2006
ACM
15 years 9 months ago
Spatial geometric constraint solving based on k-connected graph decomposition
We propose a geometric constraint solving method based on connectivity analysis in graph theory, which can be used to decompose a well-constrained problem into some smaller ones i...
Gui-Fang Zhang, Xiao-Shan Gao
198
Voted
SIGMOD
2008
ACM
102views Database» more  SIGMOD 2008»
16 years 3 months ago
Stream firewalling of xml constraints
As XML-based messages have become common in many client-server protocols, there is a need to protect application servers from invalid or dangerous messages. This leads to the XML ...
Michael Benedikt, Alan Jeffrey, Ruy Ley-Wild
144
Voted
CSE
2009
IEEE
15 years 10 months ago
Privacy-Preserving Multi-agent Constraint Satisfaction
—Constraint satisfaction has been a very successful paradigm for solving problems such as resource allocation and planning. Many of these problems pose themselves in a context in...
Thomas Léauté, Boi Faltings
122
Voted
ICTAI
2008
IEEE
15 years 10 months ago
Scheduling for Dedicated Machine Constraint Using Integer Programming
We propose an Integer Programming (IP) framework to undertake the dedicated photolithography machine constraint in semiconductor manufacturing. The constraint is one of the new ch...
Huy Nguyen Anh Pham, Arthur M. D. Shr, Peter P. Ch...