380 search results - page 36 / 76 » Model Checking Temporal Logics of Knowledge in Distributed S... |
151
click to vote
TACAS
2007
Springer
16 years 17 days 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...
256
click to vote
AMKM
2003
Springer
15 years 11 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...
166
click to vote
DEXAW
2006
IEEE
16 years 15 days 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...
179
click to vote
ATAL
2007
Springer
15 years 10 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...
175
click to vote
CDC
2009
IEEE
15 years 4 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...