3733 search results - page 145 / 747 » Logics of communication and change |
163
click to vote
FCA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
137
click to vote
CLIMA
2004
15 years 2 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
106
click to vote
ICCCN
2008
IEEE
15 years 7 months ago
2008
IEEE
—The problem of designing high capacity and high bit rate IP-over-WDM networks, which can provide uninterrupted service in the presence of network equipment failures, continues t...
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
ISCC
2000
IEEE
15 years 5 months ago
2000
IEEE
An ad hoc network is formed by a group of mobile hosts communicating over wireless channels. Such a network operates without any fixed network interaction and centralized administ...