Sciweavers

16616 search results - page 239 / 3324
» Extending Extended Vacuity
Sort
View
BPM
2009
Springer
146views Business» more  BPM 2009»
15 years 7 months ago
Extending a Business Process Modeling Tool With Process Configuration Facilities: The Provop Demonstrator
This tool demonstration presents an extension of the ARIS Business Architect in order to better cope with the high variability of business process models in practice. This extensio...
Manfred Reichert, Steve Rechtenbach, Alena Hallerb...
CONCUR
2010
Springer
15 years 7 months ago
Communicating Transactions - (Extended Abstract)
Edsko de Vries, Vasileios Koutavas, Matthew Hennes...
CSL
2010
Springer
15 years 7 months ago
Two-Variable Logic with Two Order Relations - (Extended Abstract)
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...
Thomas Schwentick, Thomas Zeume
ECAI
2010
Springer
15 years 7 months ago
Computational Aspects of Extending the Shapley Value to Coalitional Games with Externalities
Abstract. Until recently, computational aspects of the Shapley value were only studied under the assumption that there are no externalities from coalition formation, i.e., that the...
Tomasz P. Michalak, Talal Rahwan, Dorota Marciniak...
CONEXT
2009
ACM
15 years 7 months ago
Where the sidewalk ends: extending the internet as graph using traceroutes from P2P users
An accurate Internet topology graph is important in many areas of networking, from deciding ISP business relationships to diagnosing network anomalies. Most Internet mapping effor...
Kai Chen, David R. Choffnes, Rahul Potharaju, Yan ...