5086 search results - page 655 / 1018 » The Power of Comparative Reasoning |
157
click to vote
MDM
2007
Springer
16 years 26 days ago
2007
Springer
In traditional fixed-wired networks, standard protocols like 2-Phase-Commit are used to guarantee atomicity for distributed transactions. However, within mobile networks, a highe...
165
click to vote
PDCAT
2007
Springer
16 years 26 days ago
2007
Springer
Any simulation-based evaluation of an interconnection network proposal requires a good characterization of the workload. Synthetic traffic patterns based on independent traffic so...
157
click to vote
PROFES
2007
Springer
16 years 26 days ago
2007
Springer
The cost of a Software Product Line (SPL) development project sometimes exceeds the initially planned cost, because of requirements volatility and poor quality. In this paper, we p...
177
click to vote
SGAI
2007
Springer
16 years 26 days ago
2007
Springer
Novelty detection is a machine learning technique which identifies new or unknown information in large data sets. We present our current work on the construction of a new novelty...
170
click to vote
SPIN
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...