663 search results - page 39 / 133 » Process Algebra with Local Communication |
IWIC
2007
Springer
14 years 4 months ago
2007
Springer
The Internet has already connected people and established a mature online community. The use of WWW is also in the main stream of disseminating one’s information and services. In...
MKM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
INFOCOM
2012
IEEE
12 years 19 days ago
2012
IEEE
—Traditional approaches for wireless sensor network diagnosis are mainly sink-based. They actively collect global evidences from sensor nodes to the sink so as to conduct central...
IFIP
2009
Springer
14 years 4 months ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...
SIGCOMM
2009
ACM
14 years 4 months ago
2009
ACM
The routing architecture of the original 4.4BSD [3] kernel has been deployed successfully without major design modification for over 15 years. In the unified routing architectur...