Search results for "Communication Protocol"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Romain Pellerin	The MooDS protocol: a J2ME object-oriented communication protocol.	Mobility Conference	2007	DBLP DOI BibTeX RDF	GASP, J2ME communication protocol, J2ME mobile phone, OMA, object-oriented, communication protocol, multiplayer games, serialization, MooDS
3	Stavros Passas, Kostas Magoutis, Angelos Bilas	Towards 100 gbit/s ethernet: multicore-based parallel communication protocol design.	ICS	2009	DBLP DOI BibTeX RDF	100 gbit/s ethernet, communication protocol design, multicore cpus, performance evaluation
3	Nader Bagherzadeh, Masaru Matsuura	Performance Impact of Task-to-Task Communication Protocol in Network-on-Chip.	ITNG	2008	DBLP DOI BibTeX RDF	System-on-Chip, Network-on Chip, communication protocol
3	Nagendra J. Kumar, Vasanth Asokan, Siddhartha Shivshankar, Alexander G. Dean	Efficient software implementation of embedded communication protocol controllers using asynchronous software thread integration with time- and space-efficient procedure calls.	ACM Trans. Embedded Comput. Syst.	2007	DBLP DOI BibTeX RDF	Asynchronous software thread integration, J1850, software-implemented communication protocol controllers, hardware to software migration, fine-grain concurrency
3	Wolfgang Müller 0002, 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.	VISUAL	2000	DBLP DOI BibTeX RDF	Communication protocol, Multimedia retrieval, Reusable software components, Evaluation framework
3	Sun-Jen Huang, Richard Lai	Estimating the size of an Estelle specification for a communication protocol. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	Estelle specification size estimation, software size models, formal communication protocol development, informal specification, formal specification
3	Hiroaki Higaki, Makoto Takizawa	Group communication protocol for flexible distributed systems.	ICNP	1996	DBLP DOI BibTeX RDF	flexible distributed systems, system environments, dynamic upgrading method, protocol error detection, checkpoint-rollback algorithm, distributed processing, computer networks, distributed programs, message transmission, process groups, large-scale distributed systems, group communication protocol
3	Jehoshua Bruck, Danny Dolev, Ching-Tien Ho, Rimon Orni, H. Raymond Strong	PCODE: an efficient and reliable collective communication protocol for unreliable broadcast domain. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	PCODE, unreliable broadcast domain, point-to-point protocol, Silicon Graphics Indigo workstations, broadcast, message passing, programming environments, local area networks, transport protocols, communication protocol, LAN
3	Kwang-Hui Lee	A group communication protocol architecture for distributed network management systems.	ICCCN	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
2	Didier El Baz, The Tung Nguyen	A Self-adaptive Communication Protocol with Application to High Performance Peer to Peer Distributed Computing.	PDP	2010	DBLP DOI BibTeX RDF	self-adaptive protocol, micro-protocols, high performance computing, communication protocol, peer to peer computing, nonlinear optimization, network flow problems
2	Nanrun Zhou, Binyang Zeng, Lihua Gong	Quantum CSMA/CD Synchronous Communication Protocol with Entanglement.	WISM	2009	DBLP DOI BibTeX RDF	Quantum Synchronous Communication, Quantum Entanglement, EPR Pairs, CSMA/CD
2	Giuseppe Anastasi, Eleonora Borgia, Marco Conti, Enrico Gregori	HI : An Hybrid Adaptive Interleaved Communication Protocol for Reliable Data Transfer in WSNs with Mobile Sinks.	PerCom Workshops	2009	DBLP DOI BibTeX RDF
2	Laurent Mazuel, Nicolas Sabouret	A communication protocol for semantic heterogeneity with incomplete ontology alignment.	AAMAS	2009	DBLP DOI BibTeX RDF	communication & protocol, ontologies, interaction, multiagent systems, semantic heterogeneity
2	Janet Light, O. K. Ikejiani	An efficient wireless communication protocol for secured transmission of content-sensitive multimedia data.	WOWMOM	2009	DBLP DOI BibTeX RDF
2	Isamu Tsuneizumi, Ailixier Aikebaier, Tomoya Enokido, Makoto Takizawa	A flexible group communication protocol with hybrid clocks.	MoMM	2009	DBLP DOI BibTeX RDF
2	Traian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexandru Andrei	Timing analysis of the FlexRay communication protocol.	Real-Time Systems	2008	DBLP DOI BibTeX RDF	Distributed embedded systems, Real-time analysis, FlexRay
2	Guoqiang Shu, Yating Hsu, David Lee	Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning.	FORTE	2008	DBLP DOI BibTeX RDF	Fuzz testing, Security Testing, Protocol Synthesis
2	Yuanxin Ouyang, Qiao Ren, Ting Zhang, Jiuyue Hao, Zhang Xiong	RFIDPROBUS: A universal RFID reader communication protocol.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
2	Kenan Casey, Raghu Neelisetti, Alvin Lim	RTDD: A Real-Time Communication Protocol for Directed Diffusion.	WCNC	2008	DBLP DOI BibTeX RDF
2	Daniele Caltabiano, Davide Brugali, Roberto Sannino, Davide Ghezzi, Luca Spelgatti	A real-time communication protocol for interconnecting robotic smart devices.	IROS	2008	DBLP DOI BibTeX RDF
2	Jian Ren, Tongtong Li, Keesook Han	Anonymous Communication Protocol in Overlay Networks.	ICC	2008	DBLP DOI BibTeX RDF
2	Eric Goles Ch., Cedric Little, Ivan Rapaport	Understanding a Non-trivial Cellular Automaton by Finding Its Simplest Underlying Communication Protocol.	ISAAC	2008	DBLP DOI BibTeX RDF
2	Haiping Xu, Sol M. Shatz, Christopher K. Bates	A Framework for Agent-Based Trust Management in Online Auctions.	ITNG	2008	DBLP DOI BibTeX RDF	Shilling behavior, Multi-agent system, Communication protocol, Trust management, Online auction
2	Flora Dilys Salim, Licheng Cai, Maria Indrawan, Seng Wai Loke	Road Intersections as Pervasive Computing Environments: Towards a Multiagent Real-Time Collision Warning System.	PerCom	2008	DBLP DOI BibTeX RDF	collision warning and avoidance, road intersection safety, Multiagent system, communication protocol, cost model
2	Jiannong Cao, Guojun Wang, Keith C. C. Chan	A Fault-Tolerant Group Communication Protocol in Large Scale and Highly Dynamic Mobile Next-Generation Networks.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	the RingNet hierarchy, fault tolerance, multicast, Group communication, membership
2	Marcin Szpyrka	Analysis of VME-Bus communication protocol - RTCP-net approach.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	RTCP-nets, VME-Bus
2	Chao-Chin Chou, David S. L. Wei, C. C. Jay Kuo, Kshirasagar Naik	An efficient anonymous communication protocol for peer-to-peer applications over mobile ad-hoc networks.	IEEE Journal on Selected Areas in Communications	2007	DBLP DOI BibTeX RDF
2	YoungJoon Byun	A Tool Support for Design and Validation of Communication Protocol using State Transition Diagrams.	ITNG	2007	DBLP DOI BibTeX RDF
2	Shuai Gao, Yanchao Niu, Hongwei Huo, Hongke Zhang	An Energy Efficient Communication Protocol Based on Data Equilibrium in Mobile Wireless Sensor Network.	MSN	2007	DBLP DOI BibTeX RDF
2	Yong Wang, Byrav Ramamurthy	Layered Clustering Communication Protocol for Wireless Sensor Networks.	ICCCN	2007	DBLP DOI BibTeX RDF
2	Junsik Kim, Sangchul Oh, Hongsoog Kim, Namhoon Park, Nam Kim	Implementation of component based wireless communication protocol for SDR AT.	PWC	2007	DBLP DOI BibTeX RDF	Middleware, Reconfiguration, Software Component, SDR, SCA
2	Lukás Petru, Jirí Wiedermann	A Model of an Amorphous Computer and Its Communication Protocol.	SOFSEM	2007	DBLP DOI BibTeX RDF
2	Tarun Bansal, Pankaj Ghanshani, Ramesh Chandra Joshi	An Application Dependent Communication Protocol for Wireless Sensor Networks.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
2	Seyed Hossein Khasteh, Saeed Bagheri Shouraki, Ramin Halavati, Majid Lesani	Communication Protocol Evolution by Natural Selection.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
2	Shinya Masuda, Hidekazu Suzuki, Naonobu Okazaki, Akira Watanabe	Proposal for a Practical Cipher Communication Protocol That Can Coexist with NAT and Firewalls.	ICOIN	2006	DBLP DOI BibTeX RDF
2	Poyuan Li, Soon-Gyu Jeong, Sang-Jo Yoo	A Sensing Resolution-Based Energy Efficient Communication Protocol for Wireless Sensor Networks.	EUC	2006	DBLP DOI BibTeX RDF	Sensing Resolution, Wireless Sensor Networks, Energy Efficiency, Grouping, Network Lifetime
2	Tian He, John A. Stankovic, Chenyang Lu, Tarek F. Abdelzaher	A Spatiotemporal Communication Protocol for Wireless Sensor Networks.	IEEE Trans. Parallel Distrib. Syst.	2005	DBLP DOI BibTeX RDF	Wireless sensor networks, routing, real-time, spatiotemporal, geographic forwarding
2	Yasutaka Nishimura, Tomoya Enokido, Makoto Takizawa	Striping Communication Protocol for Reliable Multimedia Communication in a Hierarchical Group.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF
2	Éric Garcia, Julien Henriet, Jean-Christophe Lapayre	Modelization of a Communication Protocol for CSCW Systems Using Coloured Petri Nets.	CDVE	2005	DBLP DOI BibTeX RDF
2	Yuh-Shyan Chen, Yun-Wei Lin, Chih-Yung Chang	An Overlapping Communication Protocol Using Improved Time-Slot Leasing for Bluetooth WPANs.	MSN	2005	DBLP DOI BibTeX RDF	time-slot leasing, wireless communication, Bluetooth, WPAN
2	Naoki Wakamiya, Yoshitaka Ohtaki, Masayuki Murata, Makoto Imase	A Biologically-Inspired Data-Centric Communication Protocol for Sensor Networks.	DCOSS	2005	DBLP DOI BibTeX RDF
2	Tomoya Enokido, Makoto Takizawa	Group Communication Protocol for Autonomic Computing.	ICPADS	2005	DBLP DOI BibTeX RDF
2	Erkay Savas, Berk Sunar	A Practical and Secure Communication Protocol in the Bounded Storage Model.	ICN	2005	DBLP DOI BibTeX RDF	hyper-encryption, information theoretical security, pervasive networks, Bounded storage model
2	Masashi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino	Evaluation of Inter-Vehicle Ad Hoc Communication Protocol.	AINA	2005	DBLP DOI BibTeX RDF
2	Hai Jin, Minghu Zhang, Pengliu Tan, Hanhua Chen, Li Xu	Lightweight Real-Time Network Communication Protocol for Commodity Cluster Systems.	EUC	2005	DBLP DOI BibTeX RDF
2	Arjan Durresi, Vamsi Paruchuri, Mimoza Durresi, Leonard Barolli	A Hierarchical Anonymous Communication Protocol for Sensor Networks.	EUC	2005	DBLP DOI BibTeX RDF
2	J. O. Coronel, Francisco Blanes, Gines Benet, José E. Simó, Pascual Pérez, Miguel Albero Gil	CAN-based distributed control architecture using the SCoCAN communication protocol.	ETFA	2005	DBLP DOI BibTeX RDF
2	Víctor Reyes, Tomás Bautista, Gustavo Marrero Callicó, Antonio Núñez, Wido Kruijtzer	A multicast inter-task communication protocol for embedded multiprocessor systems.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	multiprocessor design, platform interface, task transaction level, parallel programming model
2	Emmanuel Léty, Thierry Turletti, François Baccelli	SCORE: a scalable communication protocol for large-scale virtual environments.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	area of interest manager (AOIM), cell-based grouping, large-scale virtual environments (LSVE), multiple multicast groups, scalability, communication protocol
2	Xue Yang, Jie Liu, Feng Zhao, Nitin H. Vaidya	A Vehicle-to-Vehicle Communication Protocol for Cooperative Collision Warning.	MobiQuitous	2004	DBLP DOI BibTeX RDF
2	Sayaka Harada, Hiroaki Higaki	Sporadic Communication Protocol between Clusters of Mobile Computers.	ICPADS	2004	DBLP DOI BibTeX RDF
2	Masakazu Ono, Chikashi Kato, Sayaka Harada, Hiroaki Higaki	Wireless Sporadic Communication Protocol for Supporting Cluster-to-Base Station Communication.	AINA	2004	DBLP DOI BibTeX RDF
2	Mikael Millberg, Erland Nilsson, Rikard Thid, Shashi Kumar, Axel Jantsch	The Nostrum Backbone - a Communication Protocol Stack for Networks on Chip.	VLSI Design	2004	DBLP DOI BibTeX RDF
2	Marie-Mélisande Tromparent	Communication Protocol for Interdomain Resource Reservation.	SAPIR	2004	DBLP DOI BibTeX RDF
2	Inwhee Joe	Internet-Based Device Communication Protocol with the Client/Server Role Exchange.	ICOIN	2004	DBLP DOI BibTeX RDF
2	Nagendra J. Kumar, Siddhartha Shivshankar, Alexander G. Dean	Asynchronous software thread integration for efficient software.	LCTES	2004	DBLP DOI BibTeX RDF	J1850, asynchronous software thread integration, software-implemented communication protocol controllers, hardware to software migration, fine-grain concurrency
2	Sun-Jen Huang, Richard Lai	Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	factor-subfactor-metric model, software metrics, Formal description techniques, Estelle, software maintainability
2	Richard Lai, Sun-Jen Huang	A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Size model, EDT, regression analysis, formal description techniques, Estelle
2	Phillip M. Dickens	FOBS: A Lightweight Communication Protocol for Grid Computing.	Euro-Par	2003	DBLP DOI BibTeX RDF
2	Tom Coffey, Puneet Saidha, Peter Burrows	Analysing the security of a non-repudiation communication protocol with mandatory proof of receipt.	ISICT	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
2	Özgür Saglam, Mehmet E. Dalkilç, Kayhan Erciyes	Design and Implementation of a Secure Group Communication Protocol on a Fault Tolerant Ring.	ISCIS	2003	DBLP DOI BibTeX RDF
2	Hidetoshi Nonaka, Masahito Kurihara	Eye-Contact Based Communication Protocol in Human-Agent Interaction.	IVA	2003	DBLP DOI BibTeX RDF
2	Robert Siegmund, Dietmar Müller	A novel synthesis technique for communication controller hardware from declarative data communication protocol specifications.	DAC	2002	DBLP DOI BibTeX RDF	controller hardware synthesis, interface-based design, protocol specification
2	Lakshmi Ramaswamy, Binoy Ravindran	A Best-Effort Communication Protocol for Real-Time Broadcast Networks. (PDF / PS)	ICPP	2002	DBLP DOI BibTeX RDF
2	R. G. de Silva, H. Li, K. H. Chu	An inter-agent communication protocol for remote programmable routers.	APCCAS	2002	DBLP DOI BibTeX RDF
2	Jiang Whai Dai, Ting Cheng Chang	The Discussion and Selection of Critical Parameters in the System Performance of Modified CSMA Communication Protocol without Capture Effect.	CDMA International Conference	2002	DBLP DOI BibTeX RDF	pseudo-random code, system performance, CSMA, hidden terminals
2	Ichiro Kobayashi, Michiaki Iwazume, Shino Iwashita, Toru Sugimoto, Michio Sugeno	A Study on Using Natural Language as a Computer Communication Protocol.	PRICAI	2002	DBLP DOI BibTeX RDF
2	Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith	End-to-End Latency of a Fault-Tolerant CORBA Infrastructure. (PDF / PS)	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	Multicast Group Communication Protocol, Fault Tolerance, CORBA, Probability Density Function, End-to-End Latency
2	Xueyi Wang, Jiajun Bu, Chun Chen	Research on Reliable Communication in Real-Time Collaborative Designing Systems.	DCW	2002	DBLP DOI BibTeX RDF	real-time collaborative design, reliable communication architecture, Site-based Reliable Communication Protocol (SRCP), CSCW
2	Robert Laddaga, Paul Robertson, Howard E. Shrobe	Introduction to Self-adaptive Software: Applications.	IWSAS	2001	DBLP DOI BibTeX RDF	information survivability, machine perception, applications, communication protocol, embedded software, Self-adaptive Software
2	K. Suzanne Barber, Cheryl E. Martin, Ryan McKay	A Communication Protocol Supporting Dynamic Autonomy Agreements in Multi-agent Systems.	PRICAI Workshops	2000	DBLP DOI BibTeX RDF
2	Nobuyuki Kanaya, Hirotaka Hara, Yoshihide Nomura, Hitoshi Komori, Tsuyoshi Ebata	Distributed Workflow Management System for Electronic Commerce. (PDF / PS)	EDOC	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
2	Pascal Chevochot, Isabelle Puaut	Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support.	RTCSA	2000	DBLP DOI BibTeX RDF	holistic schedulability analysis, fault-tolerant real time distributed run-time support, application tasks, distributed dependable hard real time applications, tick scheduler, unreliable communication protocol, multiple tasks, real-time systems, fault tolerant computing, processor scheduling, schedulability analysis, multiprogramming, hard real time system, run-time support, run-time supports, fault tolerance capabilities, temporal behavior, real time kernel, feasibility test
2	Michel Raynal	Logical Instantaneity and Causal Order: Two ``First Class'' Communication Modes for Parallel Computing.	Euro-Par	2000	DBLP DOI BibTeX RDF	logical instantaneity, distributed systems, communication protocol, distributed memory, cluster of workstations, rendezvous, causal order, logical time
2	Jingang Liu, Xiangqi Zheng, Guojie Li, Yaoliang Qian	Design and Realization of 3D Space Coordinate Serial Input.	ICMI	2000	DBLP DOI BibTeX RDF	Space coordinate, Input device, Communication protocol
2	Peter Voigt Knudsen, Jan Madsen	Integrating communication protocol selection with hardware/software codesign.	IEEE Trans. on CAD of Integrated Circuits and Systems	1999	DBLP DOI BibTeX RDF
2	Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita	Formal Specification and Validation of a Vital Communication Protocol.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
2	Chung-Shyan Liu	A Program Generator for Object-based Implementation of Communication Protocol Software. (PDF / PS)	ISADS	1999	DBLP DOI BibTeX RDF
2	Louise E. Moser, P. M. Melliar-Smith, Ruppert R. Koch, K. Berket	A Group Communication Protocol for CORBA. (PDF / PS)	ICPP Workshops	1999	DBLP DOI BibTeX RDF	Reliable Ordered Message Delivery, Fault Tolerance, Common Object Request Broker Architecture, Group Communication
2	Sudharshan Vazhkudai, P. Tobin Maginnis	A High Performance Communication Subsystem for PODOS.	IWCC	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
2	Nicole Bidoit, Sandra de Amo	Implicit Temporal Query Languages: Towards Completeness.	FSTTCS	1999	DBLP DOI BibTeX RDF	Temporal logic, Query languages, Communication protocol, Temporal database, Expressive power
2	Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo	Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines.	PaCT	1999	DBLP DOI BibTeX RDF	Logically Instantaneous Communication, Communication Protocol, Asynchronous Distributed System, Rendezvous, Logical Time
2	Panagiotis Melas, Ed Zaluska	Performance of Message-Passing Systems using a Zero-Copy Communication Protocol.	IEEE PACT	1998	DBLP DOI BibTeX RDF	zero-copy protocols, BIP, communication models performance, latency, communication protocols, bandwidth, cluster of workstations, message-passing systems
2	Boutheina Chetali	Formal Verification of Concurrent Programs Using the Larch Prover.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	theorem prover methodology, Larch prover, computer-checked proof, Formal verification, communication protocol, protocol verification, UNITY
2	Shuo Di, Weimin Zheng	Reduckd Communication Protocol for Clusters.	APDC	1997	DBLP DOI BibTeX RDF
2	Hiroyuki Yamashita, Toshihiko Suguri, Shingo Kinoshita	An Enhanced Communication Protocol for Flexible Interconnection. (PDF / PS)	LCN	1997	DBLP DOI BibTeX RDF
2	Piyush Maheshwari, Jinsong Ouyang	Supporting fault-tolerance in heterogeneous distributed applications.	Heterogeneous Computing Workshop	1997	DBLP DOI BibTeX RDF	heterogeneous distributed applications, reliable distributed heterogeneous computing, run time performance, library prototype, H-Libra, distributed consistent checkpointing, user-level network communication protocol, high-level message-passing interface, parallel processing, interconnection network, programming, software fault tolerance, software fault-tolerance, rollback-recovery, algorithm design, low cost, parallel task scheduling
2	Dingxing Wang, Weimin Zheng, Jianxin Xiong	Research on cluster of workstations.	ISPAN	1997	DBLP DOI BibTeX RDF	high-performance communication, reduced communication protocol, parallel compiling systems, parallel debugger, execution fault recovery tool, load balancing, parallel programming, programming environment, PVM, cluster of workstations, COW
2	Takayuki Tachikawa, Makoto Takizawa	Communication protocol for group of distributed objects. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	ordered delivery, conflicting relation, protocol, distributed processing, transport protocols, communication protocol, distributed objects, multiple objects
2	W. J. Chun, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal	Applying Distributed Simulation to a Communication Protocol Development Environment. (PDF / PS)	HICSS	1996	DBLP DOI BibTeX RDF
2	Monika Rauch Henzinger, Jan Arne Telle	Faster Algorithms for the Nonemptiness of Streett Automata and for Communication Protocol Pruning.	SWAT	1996	DBLP DOI BibTeX RDF
2	Chen Lee, Katsuhiko Yoshida, Clifford W. Mercer, Ragunathan Rajkumar	Predictable Communication Protocol Processing in Real-Time Mach. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF
2	Kenji Shima, Hiroaki Higaki, Makoto Takizawa	Fault-tolerant causal delivery in group communication. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	fault-tolerant causal delivery, intra-group communication, multiple replicas, distributed systems, protocols, fault tolerant computing, groupware, distributed processing, group communication, communication protocol, multimedia communication, application program, Byzantine faults
2	Bikram S. Bakshi, P. Krishna, Dhiraj K. Pradhan, Nitin H. Vaidya	Providing Seamless Communication in Mobile Wireless Networks. (PDF / PS)	LCN	1996	DBLP DOI BibTeX RDF	seamless communication, active hand-offs, active connection, connection throughput, network bandwidth usage, multicast based approach, unicast based approach, fast-retransmit approach, staggered multicast approach, probablistic guarantee, performance, wireless network, TCP, communication protocol, experimental results, data communication, data transfer, mobile wireless networks
2	Antti Valmari, Konsta Karsisto, Manu Setälä	Visualisation of Reduced Abstracted Behaviour as a Design Tool.	PDP	1996	DBLP DOI BibTeX RDF	reduced abstracted behaviour visualisation, software design tool, user-friendly formal method, incorrect actions, simultaneous analysis, communication protocol development, distributed system, formal specification, distributed processing, concurrency control, feedback, transport protocols, deadlocks, data visualisation, program diagnostics, graphical representation, livelocks, graphical display, design errors
2	Khawar M. Zuberi, Kang G. Shin	EMERALDS: a microkernel for embedded real-time systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	EMERALDS, real time microkernel, small to medium size embedded systems, standard OS services, multi threaded processes, kernel size, user level address space, user level server, full memory protection, communication protocol stacks, user level servers, uniprocessor version, Motorola 68040 processor, protected address spaces, 13 KByte, scheduling, real-time systems, message passing, message passing, device drivers, operating system kernels, system calls, embedded real time systems, microkernel, context switch, semaphores
2	Takayuki Tachikawa, Makoto Takizawa	Multimedia Intra-Group Communication Protocol. (PDF / PS)	HPDC	1995	DBLP DOI BibTeX RDF	multimedia intra-group communication protocol, multiple application processes, fully distributed control scheme, protocols, distributed applications, multimedia communication, high-speed network, application level
2	Hermann Kopetz	Why time-triggered architectures will succeed in large hard real-time systems.	FTDCS	1995	DBLP DOI BibTeX RDF	large hard real-time systems, encapsulated subsystems, temporal firewalls, sparse time base, replica determinism, time-triggered communication protocol, real-time systems, computational complexity, computer architecture, design principles, time-triggered architectures
2	Masato Notomi, Tadao Murata	Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	hierarchical reachability graph, bounded Petri nets, concurrent-software analysis, communication protocol software, hierarchically organized state space, deadlock state, successor states, software engineering, Petri nets, efficiency, tractability, markings, state explosion, multiprocessing programs, hierarchical systems, state-space methods, Ada programs
2	Zhijun Tong, Richard Y. Kain, W. T. Tsai	Rollback Recovery in Distributed Systems Using Loosely Synchronized Clocks.	IEEE Trans. Parallel Distrib. Syst.	1992	DBLP DOI BibTeX RDF	loosely synchronized clocks, state-save synchronizationmessages, interprocess communication protocol, state-save progressinformation, message frames, consistent system states, rollback recovery algorithm, distributed systems, protocols, distributed processing, encodes, programming theory, clock drifts