DocumentCode
2887965
Title
A Modular Logic Approach for P2P Networks: A Deductive Object Oriented Framework for P2P Networks
Author
Mitakos, Theodoros ; Almaliotis, Msc Ioannis
Author_Institution
Technol. Educ. Inst. of Chalkida, Chalkida, Greece
fYear
2009
fDate
18-20 June 2009
Firstpage
1
Lastpage
5
Abstract
This paper presents a deductive object oriented framework that is capable to model P2P networks. The framework is superimposed over a basic language based on modules. A small set of operators are logically defined and semantically justified in terms of the basic logic programming semantics. Nodes in the network correspond to objects that can exchange messages.
Keywords
object-oriented programming; peer-to-peer computing; programming language semantics; P2P networks; basic language based; basic logic programming semantics; deductive object oriented framework; modular logic approach; small set operators; Educational technology; Joining processes; Logic programming; Message passing; Network servers; Object oriented modeling; Paper technology; Peer to peer computing; Telephony; Video sharing;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Signals and Image Processing, 2009. IWSSIP 2009. 16th International Conference on
Conference_Location
Chalkida
Print_ISBN
978-1-4244-4530-1
Electronic_ISBN
978-1-4244-4530-1
Type
conf
DOI
10.1109/IWSSIP.2009.5367747
Filename
5367747
Link To Document