2067 search results - page 342 / 414 » Logics of propositional control |
163
click to vote
DFG
2004
Springer
15 years 11 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
172
click to vote
DNA
2004
Springer
15 years 11 months ago
2004
Springer
Practically all of life’s molecular processes, from chemical synthesis to replication, involve enzymes that carry out their functions through the catalysis of metastable fuels in...
166
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
156
click to vote
ICDCIT
2004
Springer
15 years 11 months ago
2004
Springer
We focus on the problem of distributing key updates in secure dynamic groups. Due to changes in group membership, the group controller needs to change and distribute the keys used...
164
click to vote
ISCIS
2004
Springer
15 years 11 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...