6581 search results - page 1061 / 1317 » Formalizing Design Patterns |
194
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Ranking queries report the top-K results according to a user-defined scoring function. A widely used scoring function is the weighted summation of multiple scores. Often times, u...
455
click to vote
BPM
2011
Springer
14 years 6 months ago
2011
Springer
As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soun...
314
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
224
click to vote
CAIP
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. In depth map generation, the settings of the algorithm parameters to yield an accurate disparity estimation are usually chosen empirically or based on unplanned experimen...
188
click to vote
CEC
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Memetics is a new science that has attracted increasing attentions in the recent decades. Beyond the formalism of simple hybrids, adaptive hybrids and memetic algorithms...