9726 search results - page 1717 / 1946 » An Approach to Optimize Data Processing in Business Processe... |
203
click to vote
FMICS
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
156
Voted
CSDA
2008
15 years 6 months ago
2008
Sociologists, demographers, and economists often use the index of dissimilarity, D, to describe the extent of racial, ethnic, spatial, or areal dissimilarity (or segregation) of d...
226
click to vote
DKE
2008
15 years 6 months ago
2008
Logic is currently the target of the majority of the upcoming efforts towards the realization of the Semantic Web vision, namely making the content of the Web accessible not only t...
139
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Industrial implementation of model-based control methods, such as model predictive control, is often complicated by the lack of knowledge about the disturbances entering the syste...
173
click to vote
ENVSOFT
2006
15 years 6 months ago
2006
Models are increasingly being relied upon to inform and support natural resource management. They are incorporating an ever broader range of disciplines and now often confront peo...