2088 search results - page 220 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
160
click to vote
CEC
2008
IEEE
16 years 29 days ago
2008
IEEE
— In this paper we evolve the parameters of a proportional, integral, and derivative (PID) controller for an unstable, complex and nonlinear system. The individuals of the applie...
212
click to vote
DBSEC
2009
15 years 7 months ago
2009
With the rapid growth in wireless networks and sensor and mobile devices, we are moving towards an era of pervasive computing. Access control is challenging in these environments. ...
205
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
160
click to vote
SELMAS
2004
Springer
15 years 12 months ago
2004
Springer
The development of Multi-Agent Systems (MASs) involves special concerns, such as interaction, adaptation, autonomy, among others. Many of these concerns are overlapping, crosscut e...
166
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper we present an experimental toolbox for automatic tree-to-tree alignment based on local classification and alignment inference. The aligner implements a recurrent arc...