10870 search results - page 1983 / 2174 » Model Checking Programs |
183
click to vote
IWCLS
2007
Springer
15 years 8 months ago
2007
Springer
Learning Classifier Systems use evolutionary algorithms to facilitate rule- discovery, where rule fitness is traditionally payoff based and assigned under a sharing scheme. Most c...
128
Voted
MSN
2007
Springer
15 years 8 months ago
2007
Springer
Success of Wireless Sensor Networks largely depends whether the deployed network can provide desired coverage with acceptable network lifetime. This paper proposes a distributed pr...
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
129
click to vote
UIC
2007
Springer
15 years 8 months ago
2007
Springer
Nowadays, e-learning systems are widely used for education and training in universities and companies because of their electronic course content access and virtual classroom partic...
UM
2007
Springer
15 years 8 months ago
2007
Springer
Web personalization has demonstrated to be advantageous for both online customers and vendors. However, its benefits may be severely counteracted by privacy constraints. Personaliz...