877 search results - page 154 / 176 » Model Based Development of Safety-Critical Systems Using Tem... |
AAMAS
2000
Springer
13 years 7 months ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
CODES
2005
IEEE
14 years 1 months ago
2005
IEEE
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...
TABLEAUX
2000
Springer
13 years 11 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
CEC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Determining the optimal topology of a graph is pertinent to many domains, as graphs can be used to model a variety of systems. Evolutionary algorithms constitute a popular opti...