Sciweavers

6833 search results - page 371 / 1367
» Some two-character sets
Sort
View
ECAI
2006
Springer
15 years 10 months ago
Verifying Interlevel Relations Within Multi-Agent Systems
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
Alexei Sharpanskykh, Jan Treur
ECBS
2006
IEEE
108views Hardware» more  ECBS 2006»
15 years 10 months ago
An Analysis and Measurement of the Equivalent Model of Serial Queues for a Load Balancer and a Web Server of a Web Cluster with
In this paper, we propose an equivalent model in a serial queue for representing the serial connection of the load balancer and a Web server of the Web cluster. We have set up an ...
Ying-Wen Bai, Yu-Nien Yang
FSTTCS
1998
Springer
15 years 10 months ago
Optimal Regular Tree Pattern Matching Using Pushdown Automata
Abstract. We propose a construction that augments the precomputation step of a regular tree pattern matching algorithm to include cost analysis. The matching device generated is a ...
Maya Madhavan, Priti Shankar
RECOMB
2000
Springer
15 years 10 months ago
Early eukaryote evolution based on mitochondrial gene order breakpoints
We present a general heuristicfor the median problem for induced breakpoints on genomes with unequal gene content and incorporate this into a routine for estimating optimal gene o...
David Sankoff, David Bryant, Mélanie Deneau...
TACAS
2000
Springer
121views Algorithms» more  TACAS 2000»
15 years 10 months ago
Using Static Analysis to Improve Automatic Test Generation
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu