945 search results - page 21 / 189 » Evolving Symbolic Controllers |
100
click to vote
ENASE
2009
14 years 7 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
171
click to vote
CADE
2011
Springer
13 years 9 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
One activity performed by developers during regression testing is test-suite augmentation, which consists of assessing the adequacy of a test suite after a program is modified an...
AROBOTS
2004
14 years 9 months ago
2004
In this paper, we introduce a self-assembling and self-organizing artifact, called a swarm-bot, composed of a swarm of s-bots, mobile robots with the ability to connect to and to ...
HYBRID
1998
Springer
15 years 1 months ago
1998
Springer
We look at distributed representation of structure with variable binding, that is natural for neural nets and allows traditional symbolic representation and processing. The repres...