10159 search results - page 1886 / 2032 » System Design Validation Using Formal Models |
SIGMOD
2005
ACM
14 years 8 months ago
2005
ACM
Many analysis and monitoring applications require the repeated execution of expensive modeling functions over streams of rapidly changing data. These applications can often be exp...
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
The rapid growth of the Internet has made computer-mediated communication popular and the use of e-negotiation systems (ENS) has attracted great attention from researchers and pra...
ESCIENCE
2006
IEEE
14 years 2 months ago
2006
IEEE
Bioinformatics algorithms such as sequence alignment methods based on profile-HMM (Hidden Markov Model) are popular but CPU-intensive. If large amounts of data are processed, a s...
ISCC
2006
IEEE
14 years 2 months ago
2006
IEEE
Genetic Algorithms are very powerful search methods that are used in different optimization problems. Parallel versions of genetic algorithms are easily implemented and usually in...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— The paper considers the problem of setting the dimensions of a system of constrained parallel robots to ensure that together they can position an end-effector in a specified s...