: Software agent technology has matured enough to produce intelligent agents, which can be used to control a large number of concurrent engineering tasks. Multi-agent systems are c...
Pericles A. Mitkas, Andreas L. Symeonidis, Dionisi...
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
The nonuniform substrate thermal profile and process variations are two major concerns in the present-day ultradeep submicrometer designs. To correctly predict performance/ leakage...
—This paper presents some results in the intersection of three technological fields: e-learning, multiagent systems, and standards to improve the development of secure systems. T...
Early detection of process disturbances and prediction of malfunctions in process equipment improve the safety of the process, minimize the time and resources needed for maintenan...
Tiina Komulainen, Mauri Sourander, Sirkka-Liisa J&...