Sciweavers

3521 search results - page 672 / 705
» Algorithmic Control in Concurrent Computations
Sort
View
CCS
2008
ACM
13 years 12 months ago
Towards an efficient and language-agnostic compliance checker for trust negotiation systems
To ensure that a trust negotiation succeeds whenever possible, authorization policy compliance checkers must be able to find all minimal sets of their owners' credentials tha...
Adam J. Lee, Marianne Winslett
ESA
2008
Springer
148views Algorithms» more  ESA 2008»
13 years 11 months ago
Selfish Bin Packing
Following recent interest in the study of computer science problems in a game theoretic setting, we consider the well known bin packing problem where the items are controlled by se...
Leah Epstein, Elena Kleiman
IMC
2007
ACM
13 years 11 months ago
Learning network structure from passive measurements
The ability to discover network organization, whether in the form of explicit topology reconstruction or as embeddings that approximate topological distance, is a valuable tool. T...
Brian Eriksson, Paul Barford, Robert Nowak, Mark C...
CGF
2008
108views more  CGF 2008»
13 years 10 months ago
Robust and Efficient Wave Simulations on Deforming Meshes
The goal of this paper is to enable the interactive simulation of phenomena such as animated fluid characters. While full 3D fluid solvers achieve this with control algorithms, th...
Roland Angst, Nils Thürey, Mario Botsch, Mark...
BMCBI
2007
182views more  BMCBI 2007»
13 years 10 months ago
Identifying regulatory targets of cell cycle transcription factors using gene expression and ChIP-chip data
Background: ChIP-chip data, which indicate binding of transcription factors (TFs) to DNA regions in vivo, are widely used to reconstruct transcriptional regulatory networks. Howev...
Wei-Sheng Wu, Wen-Hsiung Li, Bor-Sen Chen