10038 search results - page 1669 / 2008 » Model Checking for Managers |
166
click to vote
APWEB
2005
Springer
16 years 4 days ago
2005
Springer
Flood control for reservoirs require operations in a dynamic and cooperative manner in order to respond to the changing flood control conditions. There is an increasing emphasis on...
155
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
Mobile agent systems provide new perspectives for distributed e-commerce applications. Sea-of-Data (SoD) applications are those that need to process huge quantities of distributed...
187
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
Memetic algorithms have become to gain increasingly important for solving large scale combinatorial optimization problems. Typically, the extent of the application of local search...
150
click to vote
ICANN
2005
Springer
16 years 4 days ago
2005
Springer
This research employs unsupervised pattern recognition to approach the thorny issue of detecting anomalous network behavior. It applies a connectionist model to identify user behav...
207
click to vote
KNINVI
2005
Springer
16 years 3 days ago
2005
Springer
Information visualization has been a research topic for many years, leading to a mature field where guidelines and practices are well established. Knowledge visualization, in contr...