Sciweavers

1096 search results - page 34 / 220
» Towards a Solution to the
Sort
View
INFOCOM
2007
IEEE
14 years 2 months ago
Towards Topology Aware Networks
— We focus on efficient protocols that enhance a network with topology awareness. We discuss centralized algorithms with provable performance, and introduce decentralized asynch...
Christos Gkantsidis, Gagan Goel, Milena Mihail, Am...
AICT
2007
IEEE
122views Communications» more  AICT 2007»
13 years 10 months ago
Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks
— We describe a formal approach to the analysis of security aspects of an identity federation protocol for web services in convergent networks. This network protocol was proposed...
Maurice H. ter Beek, Corrado Moiso, Marinella Petr...
EPK
2006
107views Management» more  EPK 2006»
13 years 10 months ago
Towards EPC Semantics based on State and Context
: The semantics of the OR-join have been discussed for some time, in the context of EPCs, but also in the context of other business process modeling languages like YAWL. In this pa...
Jan Mendling, Wil M. P. van der Aalst
GI
2010
Springer
13 years 7 months ago
Towards a Service Level Management Framework for Service Value Networks
: The ongoing trend towards a global services economy creates considerable market opportunities and challenges for providers of Software-as-aService (SaaS). For meeting customer ex...
Christof Momm, Frank Schulz
ICFP
2003
ACM
14 years 8 months ago
Representing reductions of NP-complete problems in logical frameworks: a case study
Under the widely believed conjecture P=NP, NP-complete problems cannot be solved exactly using efficient polynomial time algorithms. Furthermore, any instance of a NP-complete pro...
Carsten Schürmann, Jatin Shah