Sciweavers

692 search results - page 92 / 139
» Some research questions for computational transportation sci...
Sort
View
DEBS
2008
ACM
15 years 8 months ago
Access control in publish/subscribe systems
Two convincing paradigms have emerged for achieving scalability in widely distributed systems: publish/subscribe communication and role-based, policy-driven control of access to t...
Jean Bacon, David M. Eyers, Jatinder Singh, Peter ...
PODC
2012
ACM
13 years 8 months ago
The cost of fault tolerance in multi-party communication complexity
Multi-party communication complexity involves distributed computation of a function over inputs held by multiple distributed players. A key focus of distributed computing research...
Binbin Chen, Haifeng Yu, Yuda Zhao, Phillip B. Gib...
HICSS
2008
IEEE
122views Biometrics» more  HICSS 2008»
16 years 19 days ago
Building Inter-organizational Cooperative Network for IT Collaboration
Information technology has been a central enabler in the process toward network society. Despite the critical role of computers in inter-organizational arrangements, coordination ...
Lauri Salmivalli, Hannu Salmela, Timo Kestilä
LPAR
2005
Springer
15 years 11 months ago
Automating Coherent Logic
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
Marc Bezem, Thierry Coquand
MFCS
2005
Springer
15 years 11 months ago
D-Width: A More Natural Measure for Directed Tree Width
Due to extensive research on tree-width for undirected graphs and due to its many applications in various fields it has been a natural desire for many years to generalize the idea...
Mohammad Ali Safari