27354 search results - page 5400 / 5471 » Distributed And Parallel Computing |
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
100
click to vote
EUROSSC
2006
Springer
15 years 1 months ago
2006
Springer
This paper introduces a new concept of information that can exist in a mobile environment with no fixed infrastructure and centralized servers, which we call the Hovering Informati...
106
click to vote
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
Embedded Cartesian Genetic Programming (ECGP) is an extension of Cartesian Genetic Programming (CGP) that can automatically acquire, evolve and re-use partial solutions in the for...
ICCD
2000
IEEE
15 years 1 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Software engineering has traditionally focussed on functional requirements and how to build software that has few bugs and can be easily maintained. Most design approaches include...