2520 search results - page 422 / 504 » Model-checking behavioral programs |
KBSE
2009
IEEE
14 years 4 months ago
2009
IEEE
—Software projects often rely on third-party libraries made accessible through Application Programming Interfaces (APIs). We have observed many cases where APIs are used in ways ...
QSIC
2009
IEEE
14 years 4 months ago
2009
IEEE
—A web service may evolve autonomously, making peer web services in the same service composition uncertain as to whether the evolved behaviors may still be compatible to its orig...
ICRA
2009
IEEE
14 years 4 months ago
2009
IEEE
— We present a decentralized, scalable approach to assembling a group of heterogeneous parts into different products using a swarm of robots. While the assembly plans are predete...
IEEEPACT
2009
IEEE
14 years 4 months ago
2009
IEEE
With advances in hardware, instruction set architectures are undergoing continual evolution. As a result, compilers are under constant pressure to adapt and take full advantage of...
GECCO
2009
Springer
14 years 4 months ago
2009
Springer
This paper describes a study of the evolution of robust communication, specifically the distribution of data among individuals in a population, using digital evolution. In digita...