12032 search results - page 735 / 2407 » Simulation of Manufacturing Systems |
223
click to vote
IWANN
2005
Springer
16 years 1 months ago
2005
Springer
— This paper presents an adaptive Power System Stabilizer (PSS) using an Adaptive Network Based Fuzzy Inference System (ANFIS) and Genetic Algorithms (GAs). Firstly, genetic algo...
191
click to vote
ATAL
2004
Springer
16 years 29 days ago
2004
Springer
: A reputation management system can promote trust in transactions in an online consumer-to-consumer (C2C) market. We model a C2C market by employing an agent-based approach. To di...
194
click to vote
TCC
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
184
click to vote
RTSS
2003
IEEE
16 years 25 days ago
2003
IEEE
Consensus is known to be a fundamental problem in fault-tolerant distributed systems. Solving this problem provides the means for distributed processes to agree on a single value....
185
click to vote
COCO
2003
Springer
16 years 23 days ago
2003
Springer
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...