Sciweavers

4770 search results - page 115 / 954
» Using System-on-a-Programmable-Chip Technology to Design Emb...
Sort
View
ATAL
2004
Springer
15 years 8 months ago
Embedded Agents for District Heating Management
We investigate the applicability of multi-agent systems as a control approach for district heating systems. The consumers, i.e., the heat exchange systems, in current district hea...
Paul Davidsson, Fredrik Wernstedt
IFIP
1992
Springer
15 years 7 months ago
Information Technology Security Evaluation Criteria (ITSEC) - a Contribution to Vulnerability?
On initiative of the Commission of the European Communities, the Information Technology Security Evaluation Criteria (ITSEC) are designed to provide a yardstick for the evaluation...
Michael Gehrke, Andreas Pfitzmann, Kai Rannenberg
94
Voted
CSREAESA
2006
15 years 4 months ago
FEMPI: A Lightweight Fault-tolerant MPI for Embedded Cluster Systems
- Ever-increasing demands of space missions for data returns from their limited processing and communications resources have made the traditional approach of data gathering, data c...
Rajagopal Subramaniyan, Vikas Aggarwal, Adam Jacob...
148
Voted
IAT
2003
IEEE
15 years 8 months ago
Multi-agent Technology for Distributed Data Mining and Classification
The core problem of multi-agent distributed data mining technology not concern particular data mining techniques although the latter is now paid the most attention. Its core probl...
Vladimir Gorodetsky, Oleg Karsaev, Vladimir Samoil...
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 7 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...