2841 search results - page 325 / 569 » Parameterised system design based on genetic algorithms |
190
click to vote
JCS
2008
15 years 6 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
185
click to vote
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
An architecture is described for designing systems that acquire and manipulate large amounts of unsystematized, or so-called commonsense, knowledge. Its aim is to exploit to the fu...
164
click to vote
PDPTA
2004
15 years 8 months ago
2004
As the algorithms that are used to reconstruct medical images from measurable projection data continue to become mature, medical image reconstruction has remained an interesting a...
160
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
We consider the problem of designing controllers for nonholonomic mobile robots converging to the source (minimum) of a field. In addition to the mobility constraints posed by the ...
159
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
With new technologies, temperature has become a major issue to be considered at system level design. Without taking temperature aspects into consideration, no approach to energy o...