|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 31248 occurrences of 6773 keywords
|
|
|
Results
Found 60562 publication records. Showing 60562 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Yean-Shiang Leu, David Hung-Chang Du |
Cycle Compensation Protocol: A Fair Protocol for the Unidirectional Twin-Bus Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(1), pp. 1-12, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
cycle compensation protocol, fair protocol, unidirectional twin-bus architecture, IEEE 802.6 Standard, Distributed Queue Dual Bus, channel bandwidth, unfairness problem, protocols, standards, local area networks, metropolitan area networks, metropolitan area networks, channel utilization |
22 | Yaling Zhang, Xiaofeng Wang |
Message Substitute Attack on Concurrent Signatures Protocol and its Improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISECS ![In: Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China, pp. 497-501, 2008, IEEE Computer Society, 978-0-7695-3258-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Message Substitute Attack, Concurrent Signatures |
22 | Huiming Wang, Xingang Shi, Zhiliang Wang, Xia Yin, Jianping Wu |
Performance testing of Mobile IPv6 protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), July 6-9, Marrakech, Morocco, pp. 772-779, 2008, IEEE Computer Society, 978-1-4244-2702-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Wei Li 0074, Jibo Wei, Shan Wang 0005 |
An Evolutionary Time Spread Multiple Access Protocol for Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCNC ![In: WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008 - April 3 2008, Las Vegas, Nevada, USA, Conference Proceedings, pp. 1781-1785, 2008, IEEE, 978-1-4244-1997-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Lin Liu 0003, Jonathan Billington |
Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007), 3-6 December 2007, Adelaide, Australia, pp. 480-487, 2007, IEEE Computer Society, 0-7695-3049-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Hanping Lufei, Weisong Shi |
Fractal: A Mobile Code Based Framework for Dynamic Application Protocol Adaptation in Pervasive Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April 2005, Denver, CO, USA, 2005, IEEE Computer Society, 0-7695-2312-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Fotis Foukalas, Yiorgos Ntarladimas, Aristotelis Glentis, Zachos Boufidis |
Protocol Reconfiguration Using Component-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAIS ![In: Distributed Applications and Interoperable Systems, 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings, pp. 148-156, 2005, Springer, 3-540-26262-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Michael Elkin |
A faster distributed protocol for constructing a minimum spanning tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2004, New Orleans, Louisiana, USA, January 11-14, 2004, pp. 359-368, 2004, SIAM, 0-89871-558-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
22 | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |
Abstraction and Refinement in Protocol Derivation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA, pp. 30-, 2004, IEEE Computer Society, 0-7695-2169-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Phongsak Prasithsangaree, Prashant Krishnamurthy |
A Variation of the WTLS Authentication Protocol for Reducing Energy Consumption in Wireless Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSNMC ![In: High Speed Networks and Multimedia Communications, 7th IEEE International Conference, HSNMC 2004, Toulouse, France, June 30 - July 2, 2004, Proceedings, pp. 696-706, 2004, Springer, 3-540-22262-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Tan Wang, Ajit Singh |
Communication Using a Reconfigurable and Reliable Transport Layer Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, Second InternationalSymposium, ISPA 2004, Hong Kong, China, December 13-15, 2004, Proceedings, pp. 788-797, 2004, Springer, 3-540-24128-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Heba Kamal Aslan |
AUTHMAC_DH: A New Protocol for Authentication and Key Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Communications and Multimedia Security ![In: Communications and Multimedia Security - Advanced Techniques for Network and Data Protection, 7th IFIP TC-6 TC-11 International Conference, CMS 2003, Torino, Italy, October 2-3, 2003, Proceedings, pp. 14-26, 2003, Springer, 3-540-20185-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Su Jung Yu, Joo-Seok Song |
An Improved Password Authentication Key Exchange Protocol for 802.11 Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part II, pp. 201-209, 2003, Springer, 3-540-40161-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Nurul I. Sarkar, Krzysztof Pawlikowski |
A Delay-throughput Performance Improvement to the pi-Persistent Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Sixth IEEE Symposium on Computers and Communications (ISCC 2001), 3-5 July 2001, Hammamet, Tunisia, pp. 615-620, 2001, IEEE Computer Society, 0-7695-1177-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Poisson arrival stream, Fairness, Throughput, Packet delay |
22 | Joshua D. Guttman, F. Javier Thayer |
Protocol Independence through Disjoint Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Proceedings of the 13th IEEE Computer Security Foundations Workshop, CSFW '00, Cambridge, England, UK, July 3-5, 2000, pp. 24-34, 2000, IEEE Computer Society, 0-7695-0671-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Mahmoud T. El-Hadidi, Nadia Hamed Hegazi, Heba Kamal Aslan |
Performance Evaluation of a New Hybrid Encryption Protocol for Authentication and Key Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Fourth IEEE Symposium on Computers and Communications (ISCC 1999), 6-8 July 1999, Sharm El Sheikh, Red Sea, Egypt, pp. 16-22, 1999, IEEE Computer Society, 0-7695-0250-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Authentication, Performance Analysis, Key Distribution, Hybrid Encryption |
22 | Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren |
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, pp. 74-88, 1999, Springer, 3-540-65703-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Bobby Krupczak, Kenneth L. Calvert, Mostafa H. Ammar |
Protocol Portability through Module Encapsulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 1996 International Conference on Network Protocols, ICNP 1996, October 29 - November 1, 1996, Columbus, Ohio, USA, pp. 56-, 1996, IEEE Computer Society, 0-8186-7453-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Rohaya Latip, Hamidah Ibrahim, Mohamed Othman, Md Nasir Sulaiman, Azizol Abdullah |
Quorum Based Data Replication in Grid Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings, pp. 379-386, 2008, Springer, 978-3-540-79720-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Replica control protocol, Grid, Availability, Data management, Data replication |
22 | Jonathan Billington, Guy Edward Gallasch |
How Stop and Wait Protocols Can Fail over the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings, pp. 209-223, 2003, Springer, 3-540-20175-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Stop and Wait Protocols, Protocol Analysis and Verification, TCP, Coloured Petri Nets, State space methods |
22 | Maged M. Michael, Ashwini K. Nanda, Beng-Hong Lim |
Coherence Controller Architectures for Scalable Shared-Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 48(2), pp. 245-255, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Coherence controller, protocol processor, multiprocessor, shared memory |
22 | Mounir Achir, Laurent Ouvry |
A Routing Protocol for Wireless Ad Hoc Sensor Networks: Multi-path Source Routing Protocol (MPSR). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN (2) ![In: Networking - ICN 2005, 4th International Conference on Networking, ReunionIsland, France, April 17-21, 2005, Proceedings, Part II, pp. 442-453, 2005, Springer, 3-540-25338-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Energy consumption minimization, Wireless Sensor Network, Routing protocol, IEEE 802.15.4 |
22 | Lay G. Ding, Lin Liu 0003 |
Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings, pp. 132-151, 2008, Springer, 978-3-540-68745-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Session Initiation Protocol, Coloured Petri Nets, protocol verification |
22 | Tim Reichert, Edmund Klaus, Wolfgang Schoch, Ansgar Meroth, Dominikus Herzberg |
A language for advanced protocol analysis in automotive networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 593-602, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automotive systems engineering, protocol analysis, protocol specifications |
22 | Daniel D. Walker, Eric G. Mercer, Kent E. Seamons |
Or Best Offer: A Privacy Policy Negotiation Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2-4 June 2008, Palisades, New York, USA, pp. 173-180, 2008, IEEE Computer Society, 978-0-7695-3133-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
privay policy negotiation protocol, privacy, protocol, game theory, negotiation, utility, pareto optimality, privacy policy, P3P, preference models |
22 | Taesoo Jun, Christine Julien 0001 |
Automated routing protocol selection in mobile ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 906-913, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
routing protocol selection, target deployment, MANET, protocol model |
22 | Fan Bai 0002, Ganesha Bhaskara, Ahmed Helmy |
Building the blocks of protocol design and analysis: challenges and lessons learned from case studies on mobile ad hoc routing and micro-mobility protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 34(3), pp. 57-70, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
mobile ad hoc network, building block, protocol analysis, protocol design, micro-mobility |
22 | Rachid Ben Abbou, Amine Benkiran, Jean-Pierre Courtiat |
Formal Validation of a Multicast Transport Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Sixth IEEE Symposium on Computers and Communications (ISCC 2001), 3-5 July 2001, Hammamet, Tunisia, pp. 642-647, 2001, IEEE Computer Society, 0-7695-1177-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
SPRM protocol, Reliability, Formal methods, Multicast, RTL, LOTOS, RT-LOTOS, Protocol validation |
22 | Ying-Kwei Ho, Ru-Sheng Liu |
On-Demand QoS-Based Routing Protocol for Ad Hoc Mobile Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 4-6 July 2000, Antibes, France, pp. 560-565, 2000, IEEE Computer Society, 0-7695-0722-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Ad hoc mobile wireless networks, ODQOS, Table-driven routing protocol, QoS, TDMA, QoS routing, DSDV, On-demand routing protocol |
22 | Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen |
On the verification of Wireless Transaction Protocol using SGM and RED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 379-383, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Wireless Transaction Protocol verification, SGM, process concurrency, clock variables, discrete variables, intelligent permutation, explosion factors, scalable verification, State-Graph Manipulators, world standard, large clock constants, large discrete constants, Region Encoding Diagram, state-space size explosions, WTP verification, real time systems, protocols, data structures, data structures, formal verification, formal verification, mobile communication, Wireless Application Protocol, state spaces, RED, state-space methods, reduction techniques |
22 | Alexander Münnich |
PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 468-472, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
PRED-DF semantic concurrency control protocol, predeclaration, real-time main-memory database systems, locking-based protocol, serializable schedule generation, blocking time minimization, predictable behaviour, real-time requirements verification, scheduling, real-time systems, predictability, concurrency control, database management systems, task scheduling, data flow analysis, data flow analysis, deadlines, access protocols, hard real-time systems, safety-critical software, safety-critical applications, verification methods |
22 | Young-Bae Ko, Nitin H. Vaidya |
GeoTORA: A Protocol for Geocasting in Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: Eighth Annual International Conference on Network Protocols, ICNP 2000, 14-17 November, 2000, Osaka, Japan, pp. 240-252, 2000, IEEE Computer Society, 0-7695-0921-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
GeoTORA, specified geographical region, TORA routing protocol, mobile ad hoc networks, protocols, protocol, telecommunication network routing, flooding, overhead, unicasting, packet radio networks, geocasting, land mobile radio |
22 | Jun Bi, Jianping Wu, X. Chen |
A Concurrent TTCN based Approach to Conformance Testing of Distributed Routing Protocol OSPF v2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1998), October 12-15, 1998, Lafayette, Louisiana, USA, pp. 760-767, 1998, IEEE Computer Society, 0-8186-9014-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Concurrent TTCN, CEBE, Internet, Distributed Systems, Formal Methods, Computer Networks, Test Generation, Routing Protocol, Labeled Transition Systems, OSPF, Protocol Testing |
22 | Donald P. Brutzman, Michael Zyda, Kent Watsen, Michael R. Macedonia |
Virtual Reality Transfer Protocol (VRTP) Design Rationale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 6th Workshop on Enabling Technologies (WET-ICE '97), Infrastructure for Collaborative Enterprises, 18-20 June 1997, MIT, Cambridge, MA, USA, Proceedings, pp. 179-186, 1997, IEEE Computer Society, 0-8186-7967-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
virtual reality transfer protocol, VRTP, network support, Cyberspace Backbone, CBone, interactive internetworked 3D worlds, Internet, World Wide Web, virtual reality, testing, Virtual Reality Modeling Language, VRML, HTML, http, network monitoring, design rationale, client-server, peer-to-peer communications, hypertext transfer protocol, large-scale virtual environments |
22 | Chooi-Tian Lee, Jack W. Harris |
Designing a Virtual Access Control Configuration Protocol for Implementation over ISDN and Shared-Media Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 21st Conference on Local Computer Networks, Minneapolis, Minnesota, USA, October 13-16, 1996, pp. 116-125, 1996, IEEE Computer Society, 0-8186-7617-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
virtual access control configuration protocol, shared-media networks, corporate environment, trade-secret information protection, secure network, secure communication environment, encryption mechanisms, user password authentication, user-interface based access control, network interface based access control, authentication security mechanisms, virtual dedicated-media network system, dynamic security access authorization, token-based access security control, dedicated-media communication, network session-layer protocol, operating systems, WAN, LAN, application programs, ISDN, ISDN, security program |
22 | Kwang-Hui Lee |
A group communication protocol architecture for distributed network management systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 28, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
group communication protocol architecture, distributed network management systems, managed object view interface, protocol overhead reduction, distributed group management, hierarchical group management, local group manager, group communication daemon, overlapped grouping facility, global group manager, hierarchical domain approach, distributed processing |
22 | R. Gopalakrishnan, Guru M. Parulkar |
RMDP-a real-time CPU scheduling algorithm to provide QoS guarantees for protocol processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 56-57, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
RMDP real-time CPU scheduling algorithm, processing guarantees, reduced contest switch operations, bandwidth guarantees, protocol session, NetBSD operating system, simulation, simulation, scheduling, real-time systems, protocols, delays, multimedia applications, processor scheduling, operating systems (computers), multimedia computing, QoS guarantees, delay guarantees, schedulability test, protocol processing |
22 | Yukuo Hayashida, Manabu Ikegami, Nobuyuki Sugimachi |
Multi-segment bandwidth reservation protocol for DQDB subnetwork. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 20th Conference on Local Computer Networks (LCN'95), Minneapolis, Minnesota, USA, October 16-19, 1995, pp. 187-192, 1995, IEEE Computer Society, 0-8186-7162-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
bandwidth reservation protocol, DQDB subnetwork, DQDB MAC Protocol, bandwidth reservation scheme, throughput convergence performance, mean message transmission delay, bandwidth allocation, access protocols, metropolitan area networks, IEEE standards |
22 | Gerard Tel |
Assertional Verification of a Timer Based Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings, pp. 600-614, 1988, Springer, 3-540-19488-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
protocol skeleton, assertional proof, time, connection management, end-to-end protocol |
22 | Joseph T. Dixon, Kenneth L. Calvert |
Effective Search Strategies for Application-Independent Speedup in UDP Demultiplexing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), September 22-25, 1997 Las Vegas, NV, USA, pp. 468-474, 1997, IEEE Computer Society, 0-8186-8186-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Demultiplexing, State Search, Protocol Control Block, Caching, Search, Transport Protocol, Hashing, UDP, Socket, Protocol Implementation |
22 | Rosario Gennaro, Stanislaw Jarecki, Hugo Krawczyk, Tal Rabin |
Secure Distributed Key Generation for Discrete-Log Based Cryptosystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 20(1), pp. 51-83, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman |
Mixed Strand Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Proceedings of the 12th IEEE Computer Security Foundations Workshop, CSFW 1999, Mordano, Italy, June 28-30, 1999, pp. 72-82, 1999, IEEE Computer Society, 0-7695-0201-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Angkul Kongmunvattana, Nian-Feng Tzeng |
Lazy Logging and Prefetch-Based Crash Recovery in Software Distributed Shared Memory Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS/SPDP ![In: 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 12-16 April 1999, San Juan, Puerto Rico, Proceedings, pp. 399-406, 1999, IEEE Computer Society, 0-7695-0143-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Ray Bird, Inder S. Gopal, Amir Herzberg, Philippe A. Janson, Shay Kutten, Refik Molva, Moti Yung |
Systematic Design of Two-Party Authentication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '91, 11th Annual International Cryptology Conference, Santa Barbara, California, USA, August 11-15, 1991, Proceedings, pp. 44-61, 1991, Springer, 3-540-55188-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Salvador Petit, Julio Sahuquillo, Ana Pont |
A Comparison Study of the HLRC-DU Protocol versus a HLRC Hardware Assisted Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 13th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2005), 6-11 February 2005, Lugano, Switzerland, pp. 197-204, 2005, IEEE Computer Society, 0-7695-2280-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Shared Virtual Memory Systems, Memory Consistency Protocols, Asyncrhonous Communication, Memory Consistency Models |
21 | Simon C. Brennan, Naveen K. Chilamkurti, Ben Soh |
Split-Layer Video Multicast Protocol: A New Receiver-Based Rate-Adaptation Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: 2nd IEEE International Symposium on Network Computing and Applications (NCA 2003), 16-18 April 2003, Cambridge, MA, USA, pp. 105-112, 2003, IEEE Computer Society, 0-7695-1938-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Michael J. McPheters, Hung Tan Nguyen 0002, Mowaffak T. Midani |
The interaction between the V protocol and the Q.293I protocol for the interactive video network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 1995 International Conference on Network Protocols, ICNP 1995, November 7-10, 1995, Tokyo, Japan, pp. 180-, 1995, IEEE Computer Society, 0-8186-7216-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Marco Zimmerling, Federico Ferrari, Matthias Woehrle, Lothar Thiele |
Exploiting protocol models for generating feasible communication stack configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 9th International Conference on Information Processing in Sensor Networks, IPSN 2010, April 12-16, 2010, Stockholm, Sweden, pp. 380-381, 2010, ACM, 978-1-60558-988-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
protocol configuration, constraint programming |
21 | Zhiguo Wan, Robert H. Deng, Feng Bao 0001, Bart Preneel, Ming Gu 0001 |
n PAKE+: A Tree-Based Group Password-Authenticated Key Exchange Protocol Using Different Passwords. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 24(1), pp. 138-151, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
security protocol, group key agreement, password-authenticated key exchange |
21 | Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran |
Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 14(2), pp. 19:1-19:41, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
converter synthesis, protocol compatibility, System-on-chip, automatic design |
21 | Daniel Dietterle, Rolf Kraemer |
A hardware accelerated implementation of the IEEE 802.15.3 MAC protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 40(3-4), pp. 161-167, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hardware accelerator, Personal area networks, Protocol implementation |
21 | Natallia Kokash, Roberto Speicys Cardoso, Pierre-Guillaume Raverdy, Valérie Issarny |
A flexible QoS-aware routing protocol for infrastructure-less B3G networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 212-216, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
B3G network, quality of service, routing protocol, OLSR |
21 | Andreas Hansson 0001, Kees Goossens |
An on-chip interconnect and protocol stack for multiple communication paradigms and programming models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2009, Grenoble, France, October 11-16, 2009, pp. 99-108, 2009, ACM, 978-1-60558-628-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
system on chip, network on chip, programming model, protocol stack |
21 | Reiner Dojen, Vladimir Pasca, Tom Coffey |
Impersonation Attacks on a Mobile Security Protocol for End-to-End Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiSec ![In: Security and Privacy in Mobile Information and Communication Systems, First International ICST Conference, MobiSec 2009, Turin, Italy, June 3-5, 2009, Revised Selected Papers, pp. 278-287, 2009, Springer, 978-3-642-04433-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mobile end-to-end communication, analysis of security protocols, authentication and secrecy protocol, impersonation attack |
21 | Yuping Hu |
A Watermarking Protocol for Piracy Tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISECS ![In: Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China, pp. 882-885, 2008, IEEE Computer Society, 978-0-7695-3258-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
piracy tracing, watermarking protocol, anonymity |
21 | Janne Lindqvist, Juha-Matti Tapio |
Protecting privacy with protocol stack virtualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPES ![In: Proceedings of the 2008 ACM Workshop on Privacy in the Electronic Society, WPES 2008, Alexandria, VA, USA, October 27, 2008, pp. 65-74, 2008, ACM, 978-1-60558-289-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
protocol stack virtualization, privacy, pseudonymity |
21 | Bashir Yahya, Jalel Ben-Othman |
A scalable and energy-efficient hybrid-based MAC protocol for wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PM2HW2N ![In: Proceedings of the 3rd ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, PM2HW2N 2008, Vancouver, British Columbia, Canada, October 31, 2008, pp. 67-71, 2008, ACM, 978-1-60558-239-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
sensor networks, scalability, energy efficiency, MAC protocol |
21 | Jaewan Seo, Moonseong Kim, Sang-Hun Cho, Hyunseung Choo |
An Energy and Distance Aware Data Dissemination Protocol Based on SPIN in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I, pp. 928-937, 2008, Springer, 978-3-540-69838-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Data Dissemination Protocol, Wireless Sensor Networks, Energy Efficiency, Lifetime, SPMS |
21 | Dapeng Wang, Kai Liu, Lianzhen Cheng, Yan Zhang |
A Novel Multiple Access Protocol with QoS Support for Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NPC ![In: Network and Parallel Computing, IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007, Proceedings, pp. 260-266, 2007, Springer, 978-3-540-74783-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
forecast burst, QoS, mobile ad hoc network, collision resolution, multiple access protocol |
21 | Tahiry Razafindralambo, Nathalie Mitton |
Analysis of the impact of hello protocol parameters over a wireless network self-organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PE-WASUN ![In: Proceedings of the 4th ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN 2007, Chania, Crete Island, Greece, October 22, 2007, pp. 46-53, 2007, ACM, 978-1-59593-808-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
HELLO protocol, simulation, clustering, analysis, MAC layer |
21 | Xiaoya Li, Daoping Huang, Zonghai Sun |
A Routing Protocol for Balancing Energy Consumption in Heterogeneous Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSN ![In: Mobile Ad-Hoc and Sensor Networks, Third International Conference, MSN 2007, Beijing, China, December 12-14, 2007, Proceedings, pp. 79-88, 2007, Springer, 978-3-540-77023-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
balance energy consumption, Wireless sensor networks, routing protocol |
21 | Kai-Chun Huang, Yun-Sheng Yen, Han-Chieh Chao |
Tree-Clustered Data Gathering Protocol (TCDGP) for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCN (2) ![In: Future Generation Communication and Networking, FGCN 2007, Ramada Plaza Jeju, Jeju-Island, Korea, December 6-8, 2007, Proceedings, pp. 31-36, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
multi-hop routing protocol, Wireless Sensor Networks (WSNs), energy- efficient |
21 | Frits W. Vaandrager, Adriaan de Groot |
Analysis of a biphase mark protocol with Uppaaland PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 18(4), pp. 433-458, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Biphase mark protocol, Model checking, Formal methods, Timed automata, Theorem provers |
21 | Yongwei Wang, Mukesh Singhal |
LSTOP: A Light-Weight Scalable Truthful Routing Protocol in MANETs with Selfish Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHOC-NOW ![In: Ad-Hoc, Mobile, and Wireless Networks, 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006, Proceedings, pp. 280-293, 2006, Springer, 3-540-37246-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
the VCG Mechanism, Mobile Ad Hoc Networks (MANETs), Routing Protocol, Truthfulness, Selfish Nodes |
21 | Sangjin Kim, Jung Doo Koo, Heekuck Oh |
Ticket-Based Binding Update Protocol for Mobile IPv6. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCIT ![In: Distributed Computing and Internet Technology, Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006, Proceedings, pp. 63-72, 2006, Springer, 3-540-68379-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Binding Update Protocol, Mobile IPv6, CGA |
21 | Ik Rae Jeong, Jeong Ok Kwon, Dong Hoon Lee 0001 |
A Diffie-Hellman Key Exchange Protocol Without Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANS ![In: Cryptology and Network Security, 5th International Conference, CANS 2006, Suzhou, China, December 8-10, 2006, Proceedings, pp. 37-54, 2006, Springer, 3-540-49462-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Diffie-Hellman protocol, Strong forward secrecy, Unknown key share, Key exchange, Key compromise impersonation |
21 | Azzedine Boukerche, Tingxue Huang, Richard Werner Nelem Pazzi |
A real-time transport protocol for image-based rendering over heterogeneous wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 8th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2005, Montréal, Quebec, Canada, October 10-13, 2005, pp. 333-340, 2005, ACM, 1-59593-188-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
wireless, streaming, image-based rendering, cellular networks, real-time protocol (RTP) |
21 | Toshimitsu Masuzawa, Sébastien Tixeuil |
A Self-stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine Faults in Arbitrary Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers, pp. 118-129, 2005, Springer, 3-540-36321-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
link-coloring, fault tolerance, self-stabilization, distributed protocol, Byzantine fault, fault containment |
21 | Zhiguo Wan, Akkihebbal L. Ananda, Robert H. Deng, Feng Bao 0001 |
Anonymous DoS-Resistant Access Control Protocol Using Passwords for Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 30th Annual IEEE Conference on Local Computer Networks (LCN 2005), 15-17 November 2005, Sydney, Australia, Proceedings, pp. 328-335, 2005, IEEE Computer Society, 0-7695-2421-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Wireless Networks, Access Control, Security Protocol |
21 | Yousef J. Al-Houmaily, Panos K. Chrysanthis |
1-2PC: the one-two phase atomic commit protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 684-691, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Internet transactions, atomic commit protocol |
21 | Changjie Wang, Ho-fung Leung |
A Secure and Fully Private Borda Voting Protocol with Universal Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, pp. 224-229, 2004, IEEE Computer Society, 0-7695-2209-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Borda voting protocol, universal verification, Security, Privacy protection, Electronic voting, ElGamal encryption |
21 | Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon |
A Unified Fault-Tolerance Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS/FTRTFT ![In: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, pp. 167-182, 2004, Springer, 3-540-23167-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
fault tolerance, reliability, protocol, Diagnosis, Byzantine, Interactive Consistency, SPIDER |
21 | Jianying Zhou 0001 |
On the Security of a Multi-party Certified Email Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004, Proceedings, pp. 40-52, 2004, Springer, 3-540-23563-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
security protocol, non-repudiation, certified email |
21 | Tom Coffey, Puneet Saidha, Peter Burrows |
Analysing the security of a non-repudiation communication protocol with mandatory proof of receipt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICT ![In: Proceedings of the 1st Intenational Symposium on Information and Communication Technologies, Dublin, Ireland, September 24-26, 2003, pp. 351-356, 2003, Trinity College Dublin. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
cryptographic protocol verification, logical postulates, proof of origin, proof of receipt, logics, security protocols, public-key cryptography, non-repudiation, deductive reasoning |
21 | Haiyong Xie 0001, Li Zhao 0002, Laxmi N. Bhuyan |
Architectural analysis and instruction-set optimization for design of network protocol processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2003, Newport Beach, CA, USA, October 1-3, 2003, pp. 225-230, 2003, ACM, 1-58113-742-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
instruction optimization, architecture simulation, network processing, TCP/IP protocol |
21 | Huamin Chen, Prasant Mohapatra |
CATP: A Context-Aware Transportation Protocol for HTTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 19-22 May 2003, Providence, RI, USA, pp. 922-927, 2003, IEEE Computer Society, 0-7695-1921-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
out-of-order rendering, Transportation protocol, HTTP, UDP, head-of-line blocking |
21 | Chanjung Park, Seog Park, Sang Hyuk Son |
Multiversion Locking Protocol with Freezing for Secure Real-Time Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(5), pp. 1141-1154, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multiversion concurrency control, multilevel security, transaction management, real-time database systems, Locking protocol |
21 | Kensuke Shibata, Koji Okamura, Keijiro Araki |
Design and Evaluation of Dynamic Protocol Selection Architecture for Reliable Multicast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: 2002 Symposium on Applications and the Internet (SAINT 2002), 28 January - 1 February 2002, Nara City, Japan, Proceedings, pp. 262-269, 2002, IEEE Computer Society, 0-7695-1447-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
reliable multicast transport, protocol, active network, IP multicast, application layer |
21 | Colette Johnen |
Service Time Optimal Self-Stabilizing Token Circulation Protocol on Anonymous Unidrectional Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 21st Symposium on Reliable Distributed Systems (SRDS 2002), 13-16 October 2002, Osaka, Japan, pp. 80-, 2002, IEEE Computer Society, 0-7695-1659-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
anonymous ring, fault-tolerant, self-stabilization, mutual exclusion, distributed protocol, token circulation, service time, unfair scheduler |
21 | David P. L. Simons, Mariëlle Stoelinga |
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 3(4), pp. 469-485, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Leader election algorithms, Model checking, Timed automata, Communication protocol, IEEE 1394 |
21 | Seppo Virtanen, Johan Lilius |
The TACO protocol processor simulation environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Ninth International Symposium on Hardware/Software Codesign, CODES 2001, Copenhagen, Denmark, 2001, pp. 201-206, 2001, ACM, 1-58113-364-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
simulation, protocol, microprocessor, codesign |
21 | Indrajit Ray, Luigi V. Mancini, Sushil Jajodia, Elisa Bertino |
ASEP: A Secure and Flexible Commit Protocol for MLS Distributed Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 12(6), pp. 880-899, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
security, distributed databases, Database management systems, transaction processing, multilevel security, commit protocol |
21 | Xiaoqun Du, Scott A. Smolka, Rance Cleaveland |
Local Model Checking and Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(3), pp. 219-241, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Modal mu-calculus, Model checking, Real-time, Protocol verification, State explosion |
21 | Sandeep K. S. Gupta, Pradip K. Srimani |
An Adaptive Protocol for Reliable Multicast in Mobile Multi-hop Radio Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMCSA ![In: 2nd Workshop on Mobile Computing Systems and Applications (WMCSA '99), February 25-26, 1999, New Orleans, LA, USA, pp. 111-, 1999, IEEE Computer Society, 0-7695-0025-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Mobile Multi-hop Networks, Adaptive Communication Protocol, Mobile Ad Hoc Networks, Group Communication, Multicast Routing, Reliable Communication, Fault-tolerant Communication |
21 | Cédric Besse, Ana R. Cavalli, David Lee 0001 |
An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999, pp. 73-80, 1999, IEEE Computer Society, 0-7695-0415-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
SDL language, fault coverage, conformance testing, optimization techniques, TCP/IP protocol |
21 | G. Robert Malan, Farnam Jahanian |
An Extensible Probe Architecture for Network Protocol Performance Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 1998 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 31 - September 4, 1998, Vancouver, B.C., Canada, pp. 215-227, 1998, ACM, 1-58113-003-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
packet filter, passive measurement, protocol performance, online analysis |
21 | Mahmoud Zakaria, Sakari Rahkila, Bruno Traverson, Susanne Stenberg |
Protocol Comparison of Distributed Object Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 159-, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Object Distributed Architecture, I1OP, DCE RPC, Communication Protocol, Open Systems |
21 | Divyakant Agrawal, Arthur J. Bernstein |
A Nonblocking Quorum Consensus Protocol for Replicated Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(2), pp. 171-179, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
nonblocking quorum protocol, one-copy serializability, fault tolerance, protocols, distributed databases, availability, database theory, replica control, fault tolerantcomputing, access latency |
21 | Hervé Baumann, Pierluigi Crescenzi, Pierre Fraigniaud |
Parsimonious flooding in dynamic graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009, pp. 260-269, 2009, ACM, 978-1-60558-396-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
evolving graphs, broadcasting, gossip protocol, epidemic protocol |
21 | Eun-Jun Yoon, Eun-Kyung Ryu, Kee-Young Yoo |
Optimized Initiation Phases for Anonymous Auction Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Human.Society@Internet ![In: Web and Communication Technologies and Internet-Related Social Issues - HSI 2005, 3rd International Conference on Human.Society@Internet, Tokyo, Japan, July 27-29, 2005, Proceedings, pp. 19-27, 2005, Springer, 3-540-27830-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Auction protocol, Initiation protocol, Security, Anonymity, Efficiency |
21 | Luciano Bononi, Marco Conti, Enrico Gregori |
Runtime Optimization of IEEE 802.11 Wireless LANs Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 15(1), pp. 66-80, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
protocol capacity, performance analysis, Wireless LAN (WLAN), IEEE 802.11, multiple access protocol (MAC) |
21 | Sigrid Gürgens, Javier López 0001, René Peralta 0001 |
Analysis of e-commerce protocols: Adapting a traditional technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 2(1), pp. 21-36, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Electronic commerce, Cryptographic protocol, Security analysis, Automatic theorem proving, Protocol validation |
21 | Raffaele Bruno 0001, Marco Conti, Enrico Gregori |
Optimization of Efficiency and Energy Consumption in p-Persistent CSMA-Based Wireless LANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 1(1), pp. 10-31, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
random access protocol, protocol capacity, performance analysis, Wireless LAN (WLAN), IEEE 802.11, energy consumption |
21 | Henry Haverinen, Antti Kuikka, Tuomas Määttänen |
A Portable Mobile IP Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 155-162, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
portable mobile IP implementation, TCP/IP stack, porting-friendly implementation, generic implementation, software architecture, software architecture, operating system, Linux, transport protocols, Internet protocol, operating systems (computers), protocol implementations, land mobile radio, Windows CE, Windows 2000 |
21 | Nobuyuki Kanaya, Hirotaka Hara, Yoshihide Nomura, Hitoshi Komori, Tsuyoshi Ebata |
Distributed Workflow Management System for Electronic Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 25-28 September 2000, Makuhari, Japan, Proceedings, pp. 150-159, 2000, IEEE Computer Society, 0-7695-0865-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
distributed workflow management system, XML-based workflow systems, server communication protocol, history log management, external application calls, batch request, external-call module, retrying algorithm, external application, protocol, electronic commerce, electronic commerce, consistency, enterprises, process management, data conversion, workflow engine |
21 | Nevin Heintze, J. D. Tygar |
A Model for Secure Protocols and Their Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(1), pp. 16-30, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
logic of authentication, protocols-composition of, security, model, model checking, communication, Authentication, formal methods, cryptography, protocols, composition, time, computer security, clocks, protocol analysis, protocol analysis, timed models |
21 | Sudheer Dharanikota, Kurt Maly |
QUANTA: Quality of Service Architecture for Native TCP/IP over ATM Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), Syracuse, NY, USA, August 6-9, 1996., pp. 585-594, 1996, IEEE Computer Society, 0-8186-7582-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
QUANTA, native TCP/IP, end system protocol suite, application level QoS, base line performance, no-load condition, user submitted data block sizes, host load condition experiments, CPU intensive jobs, communication intensive jobs, network load condition experiments, missing components, network QoS translator protocol tuning components, local feedback component, class based scheduling, performance evaluation, asynchronous transfer mode, computer networks, transport protocols, ATM networks, quality control, QoS guarantees, round trip time, quality of service architecture, QoS architecture |
21 | Stefan Böcking, Vera Seidel, Per Vindeby |
CHANNELS: a run-time system for multimedia protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 178, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
multimedia protocols, network protocol processing, table libraries, user processes, dynamic protocol configuration support, C++ programming language, SUN/UNIX kernel, scheduling, parallel processing, multimedia communication, buffer, high-speed networks, CHANNELS, run-time system, timer, entities, transport systems, network devices |
21 | Gregor von Bochmann, Rachida Dssouli, J. R. Zhao |
Trace Analysis for Conformance and Arbitration Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(11), pp. 1347-1356, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
arbitration testing, implementation under test, IUT, communication protocol implementations, distributed test architectures, partial input/output traces, local observers, error-detection power, global knowledge, automated construction, trace analysis modules, reference specification, open systems interconnection, formal specification, protocols, transport protocol, program testing, open systems, conformance testing, conformance testing, OSI |
20 | Ian Goldberg, Atefeh Mashatan, Douglas R. Stinson |
A New Message Recognition Protocol with Self-recoverability for Ad Hoc Pervasive Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, 7th International Conference, ACNS 2009, Paris-Rocquencourt, France, June 2-5, 2009. Proceedings, pp. 219-237, 2009, 978-3-642-01956-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Self-Recoverability, Ad Hoc Networks, Authentication, Recognition, Cryptographic Protocols, Pervasive Networks |
Displaying result #301 - #400 of 60562 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|