6978 search results - page 278 / 1396 » On Proofs in System P |
201
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
197
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
We analyze the performance of a DHT-based P2P overlay network in resource access and overlay maintenance activities. We use a cross-platform implementation of the protocol called P...
177
click to vote
ICN
2007
Springer
16 years 26 days ago
2007
Springer
—Peer to peer is an important way for files sharing. In existing P2P systems, users need to query and retrieve files, and have to know some knowledge, such as file names, keyword...
186
click to vote
ERCIMDL
2006
Springer
15 years 10 months ago
2006
Springer
The advent of digital libraries along with the tremendous growth of digital content call for distributed and scalable approaches for managing vast data collections. Peer-to-peer (P...
146
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Robotic microhandling is a promising way to assemble microcomponents in order to manufacture new generation of Hybrid Micro ElectroMechanical Systems (HMEMS). However, at the s...