|
|
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 |
17 | Amitava Datta, Albert Y. Zomaya |
An Energy-Efficient Permutation Routing Protocol for Single-Hop Radio Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 15(4), pp. 331-338, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
wireless communication, Radio network, permutation routing, energy efficient protocol |
17 | Yu-Sung Wu, Saurabh Bagchi, Sachin Garg, Navjot Singh 0001, Timothy K. Tsai |
SCIDIVE: A Stateful and Cross Protocol Intrusion Detection Architecture for Voice-over-IP Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings, pp. 433-442, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Voice over IP system, Cross-protocol detection, Stateful detection, Intrusion detection, SIP, RTP |
17 | Corneliu Popeea, Wei-Ngan Chin |
A type system for resource protocol verification and its correctness proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004, pp. 135-146, 2004, ACM, 1-58113-835-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
dependent type system, resource specification, protocol verification, correctness proof, path-sensitive analysis |
17 | Doo-Hyun Kim, Ji-Young Kwak, Kyung-Hee Lee |
Using the Session Initiation Protocol for Connected Multimedia Services in a Ubiquitous Home Network Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIPS ![In: Interactive Multimedia and Next Generation Networks: Second International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2004, Grenoble, France, November 16-19, 2004. Proceedings, pp. 218-229, 2004, Springer, 3-540-23928-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Connected Multimedia Services, Session Preservation, Session Initiation Protocol, Home Networks, Smart Spaces |
17 | Kenji Imamoto, Kouichi Sakurai |
Key-Exchange Protocol Using Pre-agreed Session-ID. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISA ![In: Information Security Applications, 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers, pp. 375-387, 2004, Springer, 3-540-24015-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Diffie-Hellman based key exchange protocol, Identity concealment, Pre-shared key model, Pre-Agreed Session ID |
17 | Danièle Beauquier, Tristan Crolard, Evguenia Prokofieva |
Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 372-387, 2004, Springer, 3-540-21299-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
IEEE 1394a standard, root contention protocol, Gurevich abstract state machines, predicate logic, real-time distributed systems, Parametric verification |
17 | Peter Groen, Panu Hämäläinen, Ben H. H. Juurlink, Timo Hämäläinen 0001 |
Accelerating the secure remote password protocol using reconfigurable hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the First Conference on Computing Frontiers, 2004, Ischia, Italy, April 14-16, 2004, pp. 471-480, 2004, ACM, 1-58113-741-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
secure remote password protocol, authentication, WLAN, hardware acceleration, reconfigurable hardware, modular exponentiation |
17 | Ernesto Exposito, Patrick Sénac, Michel Diaz |
UML-SDL modelling of the FPTP QoS oriented transport protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM ![In: 10th International Multimedia Modeling Conference (MMM 2004), 5-7 January 2004, Brisbane, Australia, pp. 153-160, 2004, IEEE Computer Society, 0-7695-2084-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
transport mechanisms, QoS, UML, congestion control, transport protocol, SDL |
17 | Jean-Sébastien Coron, David Naccache |
Cryptanalysis of a Zero-Knowledge Identification Protocol of Eurocrypt '95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CT-RSA ![In: Topics in Cryptology - CT-RSA 2004, The Cryptographers' Track at the RSA Conference 2004, San Francisco, CA, USA, February 23-27, 2004, Proceedings, pp. 157-162, 2004, Springer, 3-540-20996-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Fiat-Shamir Identification Protocol, Zero-knowledge |
17 | Stephen S. Yau, Fariaz Karim |
An Energy-Efficient Object Discovery Protocol for Context-Sensitive Middleware for Ubiquitous Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 14(11), pp. 1074-1085, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Object discovery protocol, context-sensitive middleware, ubiquitous computing, mobile ad hoc networks, energy efficiency, reconfigurable context-sensitive middleware |
17 | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |
Secure protocol composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSE ![In: Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003, pp. 11-23, 2003, ACM, 1-58113-781-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
logic, security protocols, invariants, protocol composition |
17 | Siuli Roy, Dola Saha, Somprakash Bandyopadhyay, Tetsuro Ueda, Shinsuke Tanaka |
A network-aware MAC and routing protocol for effective load balancing in ad hoc wireless networks with directional antenna. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHoc ![In: Proceedings of the 4th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2003, Annapolis, Maryland, USA, June 1-3, 2003, pp. 88-97, 2003, ACM, 1-58113-684-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
ad hoc networks, routing protocol, medium access control, directional antenna |
17 | Tom Coffey, Reiner Dojen |
Analysis of a mobile communication security protocol. ![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. 322-328, 2003, Trinity College Dublin. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
BCY protocol, formal verification, security protocols, modal logics |
17 | Amitava Datta |
Fault-Tolerant and Energy-Efficient Permutation Routing Protocol for Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 74, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
fault-tolerance, wireless networks, energy-efficiency, routing protocol, permutation routing |
17 | Jonathan Lennox, Henning Schulzrinne |
A protocol for reliable decentralized conferencing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOSSDAV ![In: Network and Operating System Support for Digital Audio and Video, 13th International Workshop, NOSSDAV 2003, Monterey, CA, USA, June 1-3, 2003, Proceedings, pp. 72-81, 2003, ACM, 1-58113-694-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
fully-meshed peer relationship, reliability, session initiation protocol (SIP), internet telephony, conferencing |
17 | Yiwei Chiao, Masaaki Mizuno, Mitchell L. Neilsen |
A self-stabilizing quorum-based protocol for maxima computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 15(1), pp. 49-55, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Maxima finding, Self-stabilization, Quorum, Coterie, Consensus protocol |
17 | Cheng-Ru Lin, Ming-Syan Chen |
On the Asymptotical Optimality of Multilayered Decentralized Consensus Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 13(8), pp. 769-786, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multiport communication, distributed systems, performance analysis, Consensus protocol |
17 | Michael P. Evans, Steven Furnell |
A web-based resource migration protocol using WebDAV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the Eleventh International World Wide Web Conference, WWW 2002, May 7-11, 2002, Honolulu, Hawaii, USA, pp. 263-271, 2002, ACM, 1-58113-449-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
link rot, resource locator service, resource migration protocol, web, WebDAV, referential integrity |
17 | Ke Ding, Beihong Jin, Jun Wei 0001, Yulin Feng |
New Model and Scheduling Protocol for Transactional Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 920-932, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
well-formedness, locking granularity, Transactional workflow, scheduling protocol |
17 | Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt |
Using the TrustME Tool Suite for Automatic Component Protocol Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2002, International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part II, pp. 854-863, 2002, Springer, 3-540-43593-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
component protocol specifications, automatic component adaptation, parameterised contracts, distributed middleware platforms, architectural description languages |
17 | Young Sik Hong |
Distributed Object-Oriented Real-Time Simulation of the Multicast Protocol RFRM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 7-9 January 2002, San Diego, CA, USA, pp. 215-218, 2002, IEEE Computer Society, 0-7695-1576-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
official release time, simulation, fault tolerance, real time, parallel, protocol, multicast, distributed, object, TMO, acknowledgement |
17 | Antonio F. Díaz, Julio Ortega 0001, Antonio Cañas, F. J. Fernández, Alberto Prieto |
The Lightweight Protocol CLIC: Performance of an MPI implementation on CLIC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2001 IEEE International Conference on Cluster Computing (CLUSTER 2001), 8-11 October 2001, Newport Beach, CA, USA, pp. 391-398, 2001, IEEE Computer Society, 0-7695-1116-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Lightweight protocol, MPI, Cluster Computing, Linux, Fast Ethernet |
17 | Moataz Kamel, Stefan Leue |
Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(4), pp. 394-409, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
General Inter-ORB Protocol, Promela/Spin, Model checking, Temporal logic, Specification patterns |
17 | Katsuya Tanaka, Makoto Takizawa 0001 |
Asynchronous Checkpointing Protocol for Object-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 15-17 March 2000, Newport Beach, CA, USA, pp. 218-225, 2000, IEEE Computer Society, 0-7695-0607-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Distributed Object-based System, Fault-Tolerant, Group communication, Rollback Recovery, Asynchronous protocol |
17 | Heejun Han, Seog Park, Chanjung Park |
A concurrency control protocol for read-only transactions in real-time secure 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. 458-463, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
real-time secure database systems, data conflict resolution, ROT-FREEZE, freezing method, legacy protocols, serializability guarantee, performance evaluations, real-time systems, query processing, concurrency control, database management systems, queries, transaction processing, security of data, software performance evaluation, deadline, access protocols, security requirements, transaction scheduling, read-only transactions, real-time requirements, concurrency control protocol, update transactions |
17 | Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini |
Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. ![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. 207-214, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
IEEE 1394a standard, Root Contention protocol, LPMC, PMC model checker, parameter relations, real-time model checking, parameter timing intervals, real-time systems, protocols, formal verification, randomization, telecommunication standards, linear constraints, IEEE standards, parametric verification |
17 | Katsuya Tanaka, Makoto Takizawa 0001 |
Checkpointing Protocol for Object-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: Seventh International Conference on Parallel and Distributed Systems, ICPADS 2000, Iwate, Japan, July 4-7, 2000, pp. 137-144, 2000, IEEE Computer Society, 0-7695-0568-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
communication-induced protocol, fault-tolerant, checkpoint, rollback recovery, object-based system |
17 | Zheng-Ru Lin, Ming-Syan Chen |
An Asymptotically Optimal Multi-Layered Decentralized Consensus Protocol with an Initiator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 20th International Conference on Distributed Computing Systems, Taipei, Taiwan, April 10-13, 2000, pp. 280-287, 2000, IEEE Computer Society, 0-7695-0601-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
multi-port communication, distributed systems, performance analysis, Consensus protocol |
17 | Wolfgang Müller 0001, Henning Müller, Stéphane Marchand-Maillet, Thierry Pun, David Squire, Zoran Pecenovic, Christoph Giess, Arjen P. de Vries |
MRML: A Communication Protocol for Content-Based Image Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISUAL ![In: Advances in Visual Information Systems, 4th International Conference, VISUAL 2000, Lyon, France, November 2-4, 2000, Proceedings, pp. 300-311, 2000, Springer, 3-540-41177-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Communication protocol, Multimedia retrieval, Reusable software components, Evaluation framework |
17 | Constantine Coutras, Peng-Jun Wan, Ophir Frieder |
Analytical Modeling and Performance Evaluation of the HIPERLAN CAC Layer Protocol for Real-Time Traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 428-436, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
HIPERLAN CAC layer protocol, wireless LAN protocols, WLAN protocols, MAC layer protocols, radio equipment, radio systems, European Telecommunications Standards Institute, high performance radio LAN, channel access control layer, simulation, performance evaluation, performance evaluation, real-time systems, wireless networks, wireless LAN, medium access control, analytical modeling, telecommunication traffic, personal computers, access protocols, wireless systems, telecommunication congestion control, telecommunication standards, real-time traffic, packet radio networks, land mobile radio |
17 | Sumit Khurana, Anurag Kahol, Sandeep K. S. Gupta, Pradip K. Srimani |
Performance Evaluation of Distributed Co-Ordination Function for IEEE 802.11 Wireless LAN Protocol in Presence of Mobile and Hidden Terminals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS 1999, Proceedings of the 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 24-28 October, 1999, College Park, Maryland, USA, pp. 40-47, 1999, IEEE Computer Society, 0-7695-0381-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Wireless communication network, Performance modeling technique, Mobile computing, Markov model, Protocol performance |
17 | Weijia Jia 0001, Gaochao Xu, Dong Xuan, Wei Zhao 0001 |
An Efficient Fault-Tolerant Multicast Routing Protocol with Core-Based Tree Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the International Conference on Parallel Processing 1999, ICPP 1999, Wakamatsu, Japan, September 21-24, 1999, pp. 508-515, 1999, IEEE Computer Society, 0-7695-0350-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Routing and CBT Protocol, Fault-Tolerance, Multicast |
17 | Constantine Coutras, Peng-Jun Wan |
Evaluating Performance of the HIPERLAN CAC Layer Protocol for Asynchronous Traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 26th Conference on Local Computer Networks, Lowell, Massachusetts, USA, 17-20 October, 1999, pp. 24-33, 1999, IEEE Computer Society, 0-7695-0309-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
HIPERLAN, CAC Layer Protocol, simulation, Performance evaluation, analytical modeling, Wireless Local Area Networks |
17 | Benny Van Houdt, Chris Blondia, Olga Casals, Jorge García-Vidal |
Packet Level Performance Characteristics of a MAC Protocol for Wireless ATM LANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 26th Conference on Local Computer Networks, Lowell, Massachusetts, USA, 17-20 October, 1999, pp. 14-23, 1999, IEEE Computer Society, 0-7695-0309-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
packet level performance, MAC protocol, Wireless ATM |
17 | W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder |
An Elementary Derivation of the Alternating Bit Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings, pp. 175-187, 1998, Springer, 3-540-64591-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
the theory of Owicki and Gries, multibounds, faulty channels, the alternating bit protocol, multiprogramming, Program derivation |
17 | Daoxu Chen, Edward Chan, Chan-Hee Lee |
Timing Properties of the FDDI-M Medium Access Protocol for a Class of Synchronous Bandwidth Allocation Schemes. ![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. 825-832, 1998, IEEE Computer Society, 0-8186-9014-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Medium Access Protocol, FDDI, Synchronous Bandwidth Allocation |
17 | Yeshik Shin, Jin-su Ahn, Hyung-Rok Lee, Deog-Kyoon Jeong |
Design and Implementation of OTCA MAC Protocol for High-Speed Point-to-Point Ring Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 23rd Conference on Local Computer Networks, Boston, Massachusetts, USA, October 11-14, 1998, pp. 345-352, 1998, IEEE Computer Society, 0-8186-8810-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Ownership-tagged cell allocation, RingLink, MAC protocol, Ring network |
17 | J. Jenny Li, Hong Liu, Rudolph E. Seviora |
Constructing automated protocol testing oracles to accommodate specification nondeterminism. ![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. 532-, 1997, IEEE Computer Society, 0-8186-8186-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction |
17 | Chanjung Park, Seog Park |
A multiversion locking protocol for real-time databases with multilevel security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 136-143, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multiversion locking protocol, processes transactions, explicit timing constraints, logical data consistency, compatibility matrix, version selection algorithm, data integrity, timing constraints, multilevel security, real-time databases, temporal consistency |
17 | Liquan Xiao, Mingxuan Zhang, Xingming Zhou |
A multicast protocol in multistage interconnection networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 382-387, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multicast forwarding, transmission time, broadcast performance, performance evaluation, protocols, communication complexity, wormhole-routed, multistage interconnection networks, multistage interconnection networks, network traffic, multistage networks, massively parallel systems, multicast protocol |
17 | Russell J. Clark 0001, Mostafa H. Ammar, Kenneth L. Calvert |
Protocol discovery in multiprotocol networks. ![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. 361, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
protocol discovery, multiprotocol networks, support mechanisms, multiple protocols, architectures, interoperability, open systems, feedback mechanisms |
17 | Kwok-Wa Lam, Kam-yiu Lam, Sheung-lun Hung |
Real-time optimistic concurrency control protocol with dynamic adjustment of serialization order. ![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. 174-179, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
real-time optimistic concurrency control protocol, serialization order dynamic adjustment, nonserious conflicting transactions, backward-adjustment, committing transactions, transaction restarts elimination, conflict constraints, serialization constraints, read phase, priority conflict resolution methods, Thomas's write rule, real-time systems, concurrency control, transaction processing, database theory, access protocols |
17 | John Lazzaro, John Wawrzynek |
A multi-sender asynchronous extension to the AER protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARVLSI ![In: 16th Conference on Advanced Research in VLSI (ARVLSI '95), March 27-29, 1995, Chapel Hill, North Carolina, USA, pp. 158-171, 1995, IEEE Computer Society, 0-8186-7047-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
multi-sender extension, AER, address-event representation, asynchronous point-to-point communications protocol, silicon neural systems, protocols, neural chips |
17 | Qing Yang 0001, George Thangadurai, Laxmi N. Bhuyan |
Design of an Adaptive Cache Coherence Protocol for Large Scale Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(3), pp. 281-293, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
adaptive cache coherence protocol, cache-based multiprocessor, cache coherence scheme, memoryarchitecture, protocols, multiprocessor interconnection networks, multistage interconnection network, buffer storage, hierarchical network |
17 | Simon S. Lam |
Protocol Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(3), pp. 353-362, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
logical connectivity, memoryless converters, finite-state converters, protocol, protocols, computer networks, formal model, converter |
17 | Guy Juanole, B. Algayres, J. Dufau |
On communication protocol modelling and design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, pp. 267-287, 1984, Springer, 3-540-15204-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
Key-Words Distributed systems, Petri nets, protocol, service, system architecture, modelling methodology |
17 | Wouter Teepe |
On BAN logic and hash functions or: how an unjustified inference rule causes problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 19(1), pp. 76-88, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Two parrots protocol, Security protocol, Soundness, Cryptographic hash function, BAN logic |
17 | Julien Cervelle, Rémi Forax, Gautier Loyauté, Gilles Roussel 0001 |
Banzai: a Java framework for the implementation of high-performance servers. ![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. 1903-1909, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
non-blocking I/O, protocol parsing and server architecture, protocol, parsing, server |
17 | Amin Firoozshahian, Alex Solomatnikov, Ofer Shacham, Zain Asgar, Stephen Richardson, Christos Kozyrakis, Mark Horowitz |
A memory system design framework: creating smart memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 36th International Symposium on Computer Architecture (ISCA 2009), June 20-24, 2009, Austin, TX, USA, pp. 406-417, 2009, ACM, 978-1-60558-526-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
memory access protocol, protocol controller, transactional memory, reconfigurable architecture, cache coherence, memory systems, multi-core processors, stream programming |
17 | Muslim Elkotob, Karl Andersson 0001 |
Analysis and measurement of session setup delay and jitter in VoWLAN using composite metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUM ![In: Proceedings of the 7th International Conference on Mobile and Ubiquitous Multimedia, MUM 2008, Umeå, Sweden, December 3-5, 2008, pp. 190-197, 2008, ACM, 978-1-60558-192-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
session description protocol, quality of service, wireless LAN, session initiation protocol, IP mobility |
17 | K. R. Jayaram, Aditya P. Mathur |
On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 937-942, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
TLS protocol, MC/DC coverage, Security protocol, Statechart, Security Vulnerability |
17 | Ka Lun Eddie Law, Adam Kohn |
Topology designs with controlled interference for multi-radio wireless mesh networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobility Conference ![In: Proceedings of the 5th International Conference on Mobile Technology, Applications, and Systems, Mobility Conference 2008, Yilan, Taiwan, September 10-12, 2008, pp. 95, 2008, ACM, 978-1-60558-089-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
IEEE 802.11 protocol, controlled interference, multi-radio multi-channel wireless protocol, medium access control, wireless mesh networks, packet loss probability |
17 | Irene Rüngeler, Michael Tüxen, Erwin P. Rathgeb |
Integration of SCTP in the OMNeT++ simulation environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, SimuTools 2008, Marseille, France, March 3-7, 2008, pp. 78, 2008, ICST/ACM, 978-963-9799-20-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
INET, transport protocol, SCTP, Omnet++, protocol simulation |
17 | Roopak Sinha, Partha S. Roop, Samik Basu 0001 |
A Module Checking Based Converter Synthesis Approach for SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 21st International Conference on VLSI Design (VLSI Design 2008), 4-8 January 2008, Hyderabad, India, pp. 492-501, 2008, IEEE Computer Society, 0-7695-3083-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
protocol mismatches, mod- ule checking, protocol conversion |
17 | Md. Nurul Islam, Atsuhi Kara |
Using SCTP to Implement Multihomed Web Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNIS ![In: Databases in Networked Information Systems, 5th International Workshop, DNIS 2007, Aizu-Wakamatsu, Japan, October 17-19, 2007, Proceedings, pp. 189-202, 2007, Springer, 978-3-540-75511-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Transport Protocol, Stream Control Transmission Protocol, Multihoming |
17 | Kenvi Wang, Lin-Yi Peng, Tsung-Mao Chen, Szu-Yu Chen |
A Fuzzy-Based and Simulated IP Network Traffic Engineering Promoting Multi-Service Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops (1) ![In: 21st International Conference on Advanced Information Networking and Applications (AINA 2007), Workshops Proceedings, Volume 1, May 21-23, 2007, Niagara Falls, Canada, pp. 894-899, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Managed Internet protocol (IP), Simulation, Quality of Service (QoS), Fuzzy, Multi-Protocol Label Switch (MPLS) |
17 | Md. Nurul Islam, Atsuhi Kara |
Throughput Analysis of SCTP over a Multi-homed Association. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Sixth International Conference on Computer and Information Technology (CIT 2006), 20-22 September 2006, Seoul, Korea, pp. 110, 2006, IEEE Computer Society, 0-7695-2687-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Data Chunk, Association Throughput, Transport Protocol, Stream Control Transmission Protocol, Multi-homing |
17 | Haitao Lin, Sajal K. Das 0001 |
Performance Study of Link Layer and MAC Layer Protocols to Support TCP in 3G CDMA Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 4(5), pp. 489-501, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Wireless communication, network protocols, algorithm/protocol design and analysis, modeling techniques, protocol architecture |
17 | Song Guo 0001, Oliver W. W. Yang, Yantai Shu |
Improving Source Routing Reliability in Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 16(4), pp. 362-373, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
wireless communication, routing protocol, algorithm/protocol design and analysis, Mobile communication system, multihop ad hoc network |
17 | Jan Kleindienst, Ladislav Serédi, Pekka Kapanen, Janne Bergman |
Loosely-coupled approach towards multi-modal browsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Univers. Access Inf. Soc. ![In: Univers. Access Inf. Soc. 2(2), pp. 173-188, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
VP, Virtual Proxy, NLU, Wireless Markup Language, HyperText Markup Language, World-Wide Web Consortium, Voice eXtensible Markup Language, FIA, Form Interpretation Algorithm, WWW, World-Wide Web, UI, User Interface, GUI, Graphical User Interface, HTML, HTML, HTTP, API, Application Programming Interface, Browser, WAP, Wireless Application Protocol, Multi-modal, multi-modal, DOM, Natural Language Understanding, VoiceXML, VoiceXML, W3C, WML, WML, MM, COM, HyperText Transfer Protocol, Document Object Model, Component Object Model |
17 | Piyush Shivam, Pete Wyckoff, Dhabaleswar K. Panda 0001 |
Can User-Level Protocols Take Advantage of Multi-CPU NICs?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
OS bypass, user-level network protocol, parallel protocol design, message passing, gigabit ethernet |
17 | Bing Wu 0004, Kudakwashe Dube |
PLAN: A Framework and Specification Language with an Event-Condition-Action (ECA) Mechanism for Clinical Test Request Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Test Protocol, Clinical Test, Protocol Management Systems, Event-Condition-Action Mechanism and Active Databases, Framework, Specification |
17 | Yoshihiko Ebihara, H. Ushine, Hongbing Chen, Shigetomo Kimura |
Analysis on Responsiveness and Input Traffic Regulation in Heterogeneous Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 10-14, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
input traffic regulation, heterogeneous information systems, hierarchical protocol structures, multi-layered protocol, maximum input traffic, end-to-end responsiveness, binding method, distributed databases, mean response time |
17 | S. Shaheen Fatima |
TRACE - An Adaptive Organizational Policy for MAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 722-726, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
adaptive organizational policy, Task and Resource Allocation in a Computational Economy, load variations, problem-solving organizations, task allocation protocol, subtask allocation, lost requests, price-directed resource allocation protocol, multi-agent systems, MAS, multi agent system, resource allocation, TRACE, time constraints, RAP |
17 | Jae-Wook Lee, Jun-Woo Lee, Tae-wan Kim, Dae-Ung Kim |
Satellite over Satellite (SOS) Network: A Novel Concept of Hierarchical Architecture and Routing in Satellite Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 392-399, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
satellite over satellite network, SOS network, global broadband services, long distance dependent, broadband satellite network, hierarchical satellite constellation, hierarchical satellite routing protocol, adaptive routing protocol, LDD multimedia traffic, HSRP, quality of service, QoS, routing, protocols, network topology, multimedia communication, telecommunication network routing, multimedia traffic, broadband networks, hierarchical architecture, topological design, satellite links |
17 | Teng Tiow Tay, Y. Feng, M. N. Wijeysundera |
A Distributed Internet Caching System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 624-633, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
distributed Internet caching system, distributed Web caching system, cache server, storage protocol, Internet, reliability, computer network, distributed memory systems, cache storage, access protocols, access protocol, data consistency, network servers, storage capacity, memory protocols |
17 | Joseph Kroculick, Cynthia Hood 0001 |
Provisioning Multilayer Restoration for Convergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 108-115, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
multilayer restoration, mission critical service, protocol suites, recovery scheme, outage duration, escalation strategy, distributed coordination protocol, recovery agents, protocols, topology, network topology, deadlock, telecommunication network routing, telecommunication control, rerouting, telecommunication network reliability, control policies |
17 | Simon Baatz, Matthias Frank 0001, Rolf Göpffarth, D. Kassatkine, Peter Martini, Markus Schetelig, Asko Vilavaara |
Handoff Support for Mobilty with IP over Bluetooth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 143-154, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
radio access networks, handoff support, Bluetooth public access, BLUEPAC, mobile Bluetooth devices, train stations, supermarkets, OSI layer 3, layer 2 protocol, IP datagrams, BLUEPAC protocol, Bluetooth emulation system, handoff duration, upper layer protocols, mobile computing, mobility, wireless LAN, TCP, local area networks, transport protocols, IP, access points, cellular radio, airports |
17 | Guang Lu, Rob Simmonds, Xiao Zhonge, Brian W. Unger, Carey L. Williamson |
The Performance of TCP over ATM on Lossy ADSL Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 418-427, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
TCP over ATM, lossy ADSL networks, asymmetric digital subscriber line, protocol conversion overhead, data losses, noisy local loops, unidirectional bulk data transfer, independent error model, burst error model, TCP effective throughput, maximum segment size, switch buffer size, bandwidth asymmetry, noisy lines, asynchronous transfer mode, asynchronous transfer mode, transmission control protocol, noise, transport protocols, packet switching, digital simulation, simulation results, network architecture, performance metrics, simulation model, buffer storage, simulation experiments, losses, packet loss ratio, digital subscriber lines, transmission errors, channel errors, cell loss ratio |
17 | Sudharshan Vazhkudai, P. Tobin Maginnis |
A High Performance Communication Subsystem for PODOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCC ![In: International Workshop on Cluster Computing (IWCC '99), 2-3 December 1999, Melbourne, Australia, pp. 81-91, 1999, IEEE Computer Society, 0-7695-0343-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
High speed Communication protocols, Communication for LAN, Packet Multiplexing, Communication Protocol Performance, Communication Protocol, Distributed Operating Systems, Clustering Systems, Short circuiting |
17 | Holger Vogt, Henning Pagnia, Felix C. Gärtner |
Modular Fair Exchange Protocols for Electronic Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 15th Annual Computer Security Applications Conference (ACSAC 1999), 6-10 December 1999, Scottsdale, AZ, USA, pp. 3-11, 1999, IEEE Computer Society, 0-7695-0346-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Distributed Computing, Electronic Commerce, Fair Exchange, Protocol Design, Protocol Composition |
17 | Ming-Jer Tsai, Sheng-De Wang |
A Fully Adaptive Routing Algorithm for Dynamically Injured Hypercubes, Meshes, and Tori. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 9(2), pp. 163-174, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
progressive protocol, misrouting protocol, hypercube, mesh, packet switching, torus, dynamic fault, virtual cut-through switching, Fully adaptive routing |
17 | Chan Park, Jong Hyup Lee, Jin-Oh Kim, Hyup Jong Kim |
IP routing on logical address group. ![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. 378-382, 1997, IEEE Computer Society, 0-8186-8186-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
logical address group, virtual channel connection, IETF RFC1577, ARP over ATM, classical IP, logical IP subnet, ATM Forum, next hop resolution protocol, NHRP, MPOA, multiprotocol over ATM, inter-LIS communication, LIS information protocol, test-bed network, Internet, transport protocols, ATM network, prototype systems, IETF, network routers, IP services, IP routing |
17 | Daniel O. Awduche, Emmanuel Agu |
Mobile extensions to RSVP. ![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. 132-137, 1997, IEEE Computer Society, 0-8186-8186-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
receiver oriented resource reservation setup protocol, integrated services packet networks, ISPN, Internet standardization, quiescent resource reservation, virtual receivers, intelligent pre-allocation, user mobility patterns, predictive look-ahead dynamic dormant multicast trees, scalability, robustness, flexibility, RSVP, packet radio networks, mobile hosts, resource reservation protocol |
17 | Chan Park, Hee Sook Choi, Jin-Oh Kim, Jong Hyup Lee |
Next hop resolution using classical IP over ATM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 22nd IEEE Conference on Local Computer Networks (LCN '97), 2-5 November 1997, Minneapolis, Minnesota, USA, Proceedings, pp. 106-110, 1997, IEEE Computer Society, 0-8186-8141-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
classical IP, IP subnets, logical IP subnet, direct virtual channel connection, next hop resolution protocol, multi-protocol over ATM, inter-LIS communication, RFC1577, test-bed network, protocols, ATM, prototype systems |
17 | Ragunathan Rajkumar, Michael Gagliardi |
High availability in the real-time publisher/subscriber inter-process communication model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), December 4-6, 1996, Washington, DC, USA, pp. 136-141, 1996, IEEE Computer Society, 0-8186-7689-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
real time publisher/subscriber communications model, interprocess communication model, rejoins, repetitive real time processes, RT P/S model, processor membership protocol layer, periodic broadcast membership protocol, strong semantics, idempotence properties, weak interleaving needs, communication programming interface, steady state real time execution paths, multimedia dissemination applications, fault tolerant computing, distributed processing, feedback control, distributed real time systems, node failures, processor failures |
17 | Hussein M. Abdel-Wahab, Kurt Maly, Alaa Youssef, Emilia Stoica, C. Michael Overstreet, J. Christian Wild, Ajay Gupta 0003 |
The software architecture and interprocess communications of IRI: an Internet-based interactive distance learning system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 5th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'96), June 19-21, 1996, Stanford, CA, USA, Proceedings, pp. 4-9, 1996, IEEE Computer Society, 0-8186-7445-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Internet-based interactive distance learning system, reference implementation, Interactive Remote Instruction system, continuous multimedia, shared applications, multi-user collaborative utilities, UDP multicasting, Unix domain protocol, reliable multicasting protocol, XTV data sharing engine, scalable expandable system, autonomous cooperating components, Internet, software architecture, video streams, messages, interprocess communications, group management, IRI, audio streams |
17 | Marc Gumbold |
Software Distribution by Reliable Multicast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 21st Conference on Local Computer Networks, Minneapolis, Minnesota, USA, October 13-16, 1996, pp. 222-231, 1996, IEEE Computer Society, 0-8186-7617-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
network layer protocols, best-effort multicast datagram service, point-to-multipoint communication service, peripheral file servers, multicast applications, end-to-end application layer protocol, thin transport layer, best-effort network layer multicast service, heterogeneous campus area networks, sender-based implosion avoidance, rate-based flow control, reliability, transport protocols, Internet protocol, reliable multicast, internetworks, software update, software distribution |
17 | Sujata Banerjee, Panos K. Chrysanthis |
Data sharing and recovery in gigabit-networked databases. ![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. 204, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
wide area gigabit networks, very high speed networks, gigabit-networked databases, lock-based concurrency control protocol, log-based recovery protocol, sequential phases, concurrency control, message passing, data sharing, distributed information systems, data access, data recovery, database servers |
17 | Yahya Y. Al-Salqan, Carl K. Chang |
MediaWare: a distributed multimedia environment with interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 4th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'95), April 20-22, 1995, Berkeley Springs, West Virginia, USA, Proceedings, pp. 128-137, 1995, IEEE Computer Society, 0-8186-7019-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
MediaWare, distributed multimedia environment, distributed object computing standards, interoperable virtual connection protocol, synchronized time-based media, quality-of-connection, virtual connection protocol, multimedia teleorchestrations, quality-of-service, user interfaces, interoperability, CORBA, distributed processing, object-oriented databases, object oriented database, synchronisation, interactive systems, open systems, multimedia computing, interactive multimedia, software standards, application layer, object request broker, interface definition language, object life cycle |
17 | Samir A. Abd-Elmalak, Chintan Vaishnav, Anura P. Jayasumana |
Performance of a packet switched WDM network with dynamic wavelength selection. ![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. 73-81, 1995, IEEE Computer Society, 0-8186-7162-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
packet switched WDM network, dynamic wavelength selection, WDM protocol, wavelength tolerance, performance evaluation, performance, protocols, protocol, packet switching, wavelength division multiplexing, optical fibre LAN |
17 | Santosh S. Venkatesh, Demetri Psaltis |
On Reliable Computation With Formal Neurons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(1), pp. 87-91, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
computing capabilities, formal McCulloch-Pitts neurons, decision errors, random error protocol, exhaustive error protocol, protocols, neural nets, neural nets, error tolerance |
17 | Marie-Jeanne Toussaint |
Separating the Specification and Implementation Phases in Cryptology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 92, Second European Symposium on Research in Computer Security, Toulouse, France, November 23-25, 1992, Proceedings, pp. 77-102, 1992, Springer, 3-540-56246-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
knowledge state, protocol execution tree, security, formal verification, cryptographic protocol, cryptology |
17 | Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi |
Test Selection Based on Finite State Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(6), pp. 591-603, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
partial W-method, full fault-detection power, interaction parameters, reset function, software engineering, protocols, program testing, conformance testing, conformance testing, determinism, test suites, protocol implementations, protocol testing, test architectures, finite state models |
17 | Alessandro Braccini, Alberto Del Bimbo, Enrico Vicario |
Interprocess Communication Dependency on Network Load. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(4), pp. 357-369, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
interprocess communication dependency, background load, protocol suites, XNS, Ethernet LAN, personal computer workstations, reliable transfer, unreliable transmission, service time analytical estimates, performance evaluation, protocols, TCP/IP, local area networks, transport protocol, communication performance, application layer, network load, bulk data transfer |
17 | Daniel M. Dias, Balakrishna R. Iyer, John T. Robinson, Philip S. Yu |
Integrated Concurrency-Coherency Controls for Multisystem Data Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(4), pp. 437-448, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
read-write synchronisation, multisystem data sharing, data sharing system structure, shared intermediate memory, early commit processing, write-serialization, integrated concurrency protocol, integrated concurrency-coherency control protocol, performance evaluation, performance analysis, protocols, distributed databases, concurrency control, queueing theory, buffering, buffer storage, queueing model |
17 | Jiin-Chiou Cheng, Chi-Sung Laih |
Conference key agreement protocol with non-interactive fault-tolerance over broadcast network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 8(1), pp. 37-48, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Conference key agreement, Modified Weil pairing, Fault-tolerance, Elliptic curve |
17 | Mi Wen, Jingsheng Lei, Zhong Tang, Xiuxia Tian, Kefei Chen, Weidong Qiu |
A Verified Group Key Agreement Protocol for Resource-Constrained Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISM ![In: Web Information Systems and Mining, International Conference, WISM 2009, Shanghai, China, November 7-8, 2009. Proceedings, pp. 413-425, 2009, Springer, 978-3-642-05249-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Wireless Sensor Networks (WSNs), Authentication, Continuity, Group key agreement, Group key |
17 | Azzedine Boukerche, Kaouther Abrougui, Richard Werner Nelem Pazzi |
Context-aware and location-based service discovery protocol for vehicular networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PE-WASUN ![In: Proceedings of the 6th ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN 2009, Tenerife, Canary Islands, Spain, October 28-29, 2009, pp. 93-100, 2009, ACM, 978-1-60558-618-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
location-based services, service discovery, vehicular networks |
17 | Indranil Saha, Debapriyay Mukhopadhyay |
Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISS ![In: Information Systems Security, 5th International Conference, ICISS 2009, Kolkata, India, December 14-18, 2009, Proceedings, pp. 292-300, 2009, Springer, 978-3-642-10771-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Hyun-Sung Park, Jong-Deok Kim |
Design of an RFID Air Protocol Filtering Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (2) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 101-108, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Bo Zhang 0016, Binoy Ravindran |
Brief Announcement: Relay: A Cache-Coherence Protocol for Distributed Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings, pp. 48-53, 2009, Springer, 978-3-642-10876-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Qixin Wang, Rong Zheng 0001, Ajay Tirumala, Xue Liu 0001, Lui Sha |
Lightning: A Hard Real-Time, Fast, and Lightweight Low-End Wireless Sensor Election Protocol for Acoustic Event Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 7(5), pp. 570-584, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Wireless sensor networks, Real time, Pervasive computing, Location-dependent and sensitive |
17 | Ramasuri Narayanam, Y. Narahari |
Design of an Optimal Bayesian Incentive Compatible Broadcast Protocol for Ad Hoc Networks with Rational Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 26(7), pp. 1138-1148, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Qing Zhang, Qiaoyan Wen, Gengli Chen |
Efficient Fair Contract Signing Protocol from Bilinear Pairings. ![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. 333-337, 2008, IEEE Computer Society, 978-0-7695-3258-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Trusted Third Party (TTP), bilinear pairings, fair exchange, contract signing |
17 | Kristian L. Espensen, Mads K. Kjeldsen, Lars Michael Kristensen |
Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks. ![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. 152-170, 2008, Springer, 978-3-540-68745-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
System design and verification using nets, experience with using nets, application of nets to protocols and networks, case studies, higher-level net models |
17 | George J. Mandellos, Michael N. Koukias, Dimitrios K. Lymberopoulos |
Structuring the e-SCP-ECG+ protocol for multi vital-sign handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Proceedings of the 8th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2008, October 8-10, 2008, Athens, Greece, pp. 1-6, 2008, IEEE, 978-1-4244-2845-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Gang Yao, Hongji Wang, Qingshan Jiang |
An Authenticated 3-Round Identity-Based Group Key Agreement Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 538-543, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Kiran Kotla, A. L. Narasimha Reddy |
Making a Delay-Based Protocol Adaptive to Heterogeneous Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWQoS ![In: 16th International Workshop on Quality of Service, IWQoS 2008, University of Twente, Enskede, The Netherlands, 2-4 June 2008., pp. 100-109, 2008, IEEE, 978-1-4244-2084-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed Farid Elhawary, Zygmunt J. Haas |
Busy Tone Multi Channel (BTMC): A New Multi Channel MAC protocol for Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom ![In: Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 17-21 March 2008, Hong Kong, pp. 234-238, 2008, IEEE Computer Society, 978-0-7695-3113-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
wireless MAC protocols, multi-channel MAC |
|
|