Sciweavers

1378 search results - page 137 / 276
» The Tractability of Global Constraints
Sort
View
GMP
2006
IEEE
16 years 12 days ago
Subdivision Termination Criteria in Subdivision Multivariate Solvers
Abstract. The need for robust solutions for sets of non-linear multivariate constraints or equations needs no motivation. Subdivision-based multivariate constraint solvers [1–3] ...
Iddo Hanniel, Gershon Elber
SI3D
1999
ACM
15 years 10 months ago
Haptic sculpting of dynamic surfaces
Conventional free-form surface design usually require tedious control-point manipulation and/or painstaking constraint specification via unnatural mouse-based interfaces. This pa...
Frank Dachille, Hong Qin, Arie E. Kaufman, Jihad E...
ESORICS
2007
Springer
15 years 10 months ago
Satisfiability and Resiliency in Workflow Systems
We propose the role-and-relation-based access control (R2 BAC) model for workflow systems. In R2 BAC, in addition to a user's role memberships, the user's relationships w...
Qihua Wang, Ninghui Li
INFOCOM
2010
IEEE
15 years 4 months ago
Limitations and Possibilities of Path Trading between Autonomous Systems
Abstract—When forwarding packets in the Internet, Autonomous Systems (ASes) frequently choose the shortest path in their network to the next-hop AS in the BGP path, a strategy kn...
Yuval Shavitt, Yaron Singer
DIALM
2010
ACM
194views Algorithms» more  DIALM 2010»
15 years 4 months ago
Prioritized gossip in vehicular networks
We present a method for using real world mobility traces to identify tractable theoretical models for the study of distributed algorithms in mobile networks. We validate the metho...
Alejandro Cornejo, Calvin C. Newport