7452 search results - page 1388 / 1491 » A Semantics for Multiprocessor Systems |
164
click to vote
CN
2007
15 years 4 months ago
2007
Although the ant metaphor has been successfully applied to routing of data packets both in wireless and fixed networks, little is known yet about its appropriateness for search i...
149
click to vote
ITSSA
2006
15 years 4 months ago
2006
: This article proposes a new method for creating test software for object-oriented systems using a genetic programming approach. It is believed that this approach is advantageous ...
129
click to vote
JLP
2006
15 years 4 months ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
117
click to vote
ENTCS
2007
15 years 4 months ago
2007
Arigatoni is a lightweight overlay network that deploys the Global Computing Paradigm over the Internet. Communication for over the behavioral units of the overlay is performed by...
139
click to vote
KAIS
2006
15 years 4 months ago
2006
Unprecedented amounts of media data are publicly accessible. However, it is increasingly difficult to integrate relevant media from multiple and diverse sources for effective appli...