Abstract | ||
---|---|---|
Ensuring dependability and security of Peer-to- Peer (P2P) systems is an intricate task due to the autonomous and volatile nature of peers and the decentralization that characterizes such systems. Dynamic verification provides the means of monitoring ... |
Year | DOI | Venue |
---|---|---|
2007 | 10.1109/ICIW.2007.14 | ICIW |
Keywords | Field | DocType |
adaptable formal model,volatile nature,dynamic verification,ensuring dependability,web services protocols,intricate task,software maintenance,adaptability,formal specification,service provider,protocols,formal verification,web services,reliability engineering,reusability,web service,computer science,automata theory | Interoperability,Computer science,Service provider,Formal specification,Implementation,Conformance checking,Software maintenance,Web service,Database,Distributed computing,Formal verification | Conference |
ISBN | Citations | PageRank |
0-7695-2844-9 | 0 | 0.34 |
References | Authors | |
13 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pemadeep Ramsokul | 1 | 25 | 2.30 |
Arcot Sowmya | 2 | 319 | 60.05 |