987 search results - page 67 / 198 » Extending FeatuRSEB with Concepts from Systems Engineering |
SERP
2003
13 years 10 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
EMSOFT
2006
Springer
14 years 17 days 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...
ECOOPW
1999
Springer
14 years 1 months ago
1999
Springer
Existing authorization mechanisms fail to provide powerful and robust tools for handling security at the scale necessary for today's Internet. These mechanisms are coming unde...
ITRE
2005
IEEE
14 years 2 months ago
2005
IEEE
This work proposes concepts, designs, experiences and lessons learned from some studies of ad hoc learning supported by wireless and mobile technologies. The ad hoc learning activi...
GECCO
2010
Springer
14 years 9 days ago
2010
Springer
In this paper we introduce a method for computing fitness in evolutionary learning systems based on NVIDIA’s massive parallel technology using the CUDA library. Both the match ...