852 search results - page 110 / 171 » entcs 2010 |
96
Voted
ENTCS
2007
15 years 13 days ago
2007
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
83
Voted
ENTCS
2007
15 years 13 days ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
ENTCS
2007
15 years 13 days ago
2007
We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an ap...
91
Voted
ENTCS
2007
15 years 13 days ago
2007
In this paper we present an analysis of a MAC (Medium Access Control) protocol for wireless sensor networks. The purpose of this protocol is to manage wireless media access by con...
117
click to vote
ENTCS
2007
15 years 13 days ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...