Sciweavers

6607 search results - page 415 / 1322
» Making TeX Work
Sort
View
ECMDAFA
2008
Springer
158views Hardware» more  ECMDAFA 2008»
15 years 8 months ago
Modeling Human Aspects of Business Processes - A View-Based, Model-Driven Approach
Human participation in business processes needs to be addressed in process modeling. BPEL4People with WS-HumanTask covers this concern in the context of BPEL. Bound to specific wor...
Ta'id Holmes, Huy Tran, Uwe Zdun, Schahram Dustdar
ESA
2008
Springer
112views Algorithms» more  ESA 2008»
15 years 8 months ago
Time-Dependent SHARC-Routing
In recent years, many speed-up techniques for Dijkstra's algorithm have been developed that make the computation of shortest paths in static road networks a matter of microse...
Daniel Delling
ICDIM
2007
IEEE
15 years 8 months ago
Predicting durability in DHTs using Markov chains
We consider the problem of data durability in lowbandwidth large-scale distributed storage systems. Given the limited bandwidth between replicas, these systems suffer from long re...
Fabio Picconi, Bruno Baynat, Pierre Sens
ACL
2008
15 years 7 months ago
Enforcing Transitivity in Coreference Resolution
A desirable quality of a coreference resolution system is the ability to handle transitivity constraints, such that even if it places high likelihood on a particular mention being...
Jenny Rose Finkel, Christopher D. Manning
BCS
2008
15 years 7 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002