2661 search results - page 127 / 533 » Model Checking Performability Properties |
107
Voted
IJHPCA
2007
15 years 2 months ago
2007
An accurate cost-model that accounts for dataset size and structure can help optimize geoscience data analysis. We develop and apply a computational model to estimate data analysi...
167
Voted
IS
2012
13 years 10 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
167
Voted
GG
2008
Springer
15 years 3 months ago
2008
Springer
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...
113
Voted
NN
2006
Springer
15 years 2 months ago
2006
Springer
Recent computational approaches to action imitation have advocated the use of hierarchical representations in the perception and imitation of demonstrated actions. Hierarchical re...
138
click to vote
INCDM
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Spam is serious problem that affects email users (e.g. phishing attacks, viruses and time spent reading unwanted messages). We propose a novel spam email filtering appr...