5267 search results - page 126 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
CORR
2004
Springer
14 years 9 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
IADIS
2004
14 years 11 months ago
2004
This paper proposes a collaborative approach for personal task management which is modeled as an alliance model. Alliance model is based on information sharing and collaboration o...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— Scanning transmission electron microscopes are indispensable tools for material science research, since they can reveal the internal structure of a wide range of specimens. Thu...
FM
2008
Springer
14 years 11 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
BMCBI
2007
14 years 10 months ago
2007
Background: Identifying relevant research in an ever-growing body of published literature is becoming increasingly difficult. Establishing domain-specific knowledge bases may be a...