1919 search results - page 234 / 384 » Recent Extensions to Traviando |
168
click to vote
DSVIS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
163
click to vote
EMISA
2005
Springer
16 years 4 days ago
2005
Springer
: Business process modeling and design, as an essential part of business process management, has gained much attention in recent years. An important tool for this purpose is refere...
158
click to vote
FC
2005
Springer
16 years 4 days ago
2005
Springer
Recent high profile data thefts have shown that perimeter defenses are not sufficient to secure important customer data. The damage caused by these thefts can be disastrous, and to...
148
Voted
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
Recent adaptive image interpretation systems can reach optimal performance for a given domain via machine learning, without human intervention. The policies are learned over an ex...
178
click to vote
HPCC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Recent advances in processor technology such as Simultaneous Multithreading (SMT) and Chip Multiprocessing (CMP) enable parallel processing on a single die. These process...