380 search results - page 36 / 76 » Model Checking Temporal Logics of Knowledge in Distributed S... |
118
click to vote
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
213
Voted
AMKM
2003
Springer
15 years 9 months ago
2003
Springer
: Knowledge Management is most necessary and valuable in a collaborative and distributed environment. A problem with commercial knowledge management tools is that they do not unde...
135
click to vote
DEXAW
2006
IEEE
15 years 9 months ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
142
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
131
click to vote
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...