663 search results - page 39 / 133 » Process Algebra with Local Communication |
190
click to vote
IWIC
2007
Springer
16 years 2 days 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...
138
click to vote
MKM
2007
Springer
16 years 2 days 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...
202
click to vote
INFOCOM
2012
IEEE
13 years 8 months 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...
145
click to vote
IFIP
2009
Springer
16 years 15 days 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...
158
click to vote
SIGCOMM
2009
ACM
16 years 14 days 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...