3885 search results - page 383 / 777 » Clarifying Goal Models |
185
click to vote
EMSOFT
2006
Springer
15 years 10 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...
202
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present the discrete beeping communication model, which assumes nodes have minimal knowledge about their environment and severely limited communication capabilities. S...
187
click to vote
JCNS
2010
15 years 1 months ago
2010
Abstract Forward solutions with different levels of complexity are employed for localization of current generators, which are responsible for the electric and magnetic fields measu...
172
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Recent humanoid control investigations have emphasized the importance of controlling whole-body angular momentum throughout a movement task. For typical movement tasks,...
169
click to vote
GECCO
2004
Springer
16 years 5 days ago
2004
Springer
In this paper, we propose a genetic network programming (GNP) architecture using a coevolution model called automatically defined groups (ADG). The GNP evolves networks for describ...