The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase communication protocols (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1975-1981 (16) 1982-1983 (16) 1984-1985 (21) 1986 (15) 1987-1988 (30) 1989 (54) 1990 (77) 1991 (55) 1992 (52) 1993 (22) 1994 (22) 1995 (27) 1996 (44) 1997 (72) 1998 (64) 1999 (67) 2000 (84) 2001 (63) 2002 (56) 2003 (89) 2004 (92) 2005 (95) 2006 (110) 2007 (110) 2008 (114) 2009 (66) 2010 (30) 2011 (23) 2012 (31) 2013 (28) 2014 (17) 2015 (17) 2016 (18) 2017 (19) 2018 (32) 2019 (6)
Publication types (Num. hits)
article(348) incollection(7) inproceedings(1358) phdthesis(33) proceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1446 occurrences of 859 keywords

Results
Found 1754 publication records. Showing 1754 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
74Shu Chen, Yingying Chen 0001, Wade Trappe Exploiting environmental properties for wireless localization. Search on Bibsonomy Mobile Computing and Communications Review The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
74Wenbo He, Ying Huang, Klara Nahrstedt, Whay Chiou Lee Alert propagation in mobile ad hoc networks. Search on Bibsonomy Mobile Computing and Communications Review The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Chie Dou Formal Specification of Communication Protocols Based on a Timed-SDL: Validation and Performance Prospects. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Timed-SDL, performance prospects, CCITT Z.100, probabilistic specifications, performance evaluations, real time systems, formal specification, formal specification, validation, communication protocols, SDL, temporal properties, telecommunication systems, formal notation
37Maricela Bravo, José Velázquez An Ontology-Based Approach for Discovering Semantic Relations between Agent Communication Protocols. Search on Bibsonomy OTM Conferences (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ontologies, translator, Agent communication protocols
37Luciano Lavagno, Sujit Dey, Rajesh K. Gupta 0001 Specification, Modeling and Design Tools for System-on-Chip (Tutorial Abstract). Search on Bibsonomy VLSI Design The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Madieyna Lamine Fall, Sylvain Delisle A software tool for the development of MAS communication protocols based on conversations. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF MAS, software tools, communication protocols, conversations, development environments
34YoungJoon Byun, Beverly A. Sanders A pattern-based development methodology for communication protocols. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF design pattern, communication protocols, pattern language, development methodology, SPIN model checker
34Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization. Search on Bibsonomy DAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF concurrent EFSMs, mutli-way synchronization, high-level synthesis, communication protocols, LOTOS, Lotos
34Ching-Hua Chow, Simon S. Lam PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF communication protocols verification, PROSPEC, interactive programming environment, fair reachability analysis, multiphase construction, protocol projection, BSC, X.21, X.25, Telnet document transfer protocols, protocols, specification, software tools, programming environments, graphical interface, interactive programming
33Dawid Kurzyniec, Tomasz Wrzosek, Vaidy S. Sunderam, Aleksander Slominski Experiments with multi-protocol RMI in Java. Search on Bibsonomy Java Grande The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Java, communication protocols, RMI, RPC
33Andrew A. Hanish, Tharam S. Dillon Object-oriented modelling of communication protocols for re-use. Search on Bibsonomy ICCCN The full citation details ... 1995 DBLP  DOI  BibTeX  RDF industrial implementations, reuseable software modules, reuseable model elements, message sequence encoding, protocol entities, ISO/OSI Reference Model, generalised model, interlayer communication model, modified TTCN notation, Petri nets, protocols, communication protocols, networking protocols, object-oriented modelling, formal descriptions, protocol implementation, alternating bit protocol
32Idoia Berges, Jesús Bermúdez, Alfredo Goñi, Arantza Illarramendi Semantic Web Technology for Agent Communication Protocols. Search on Bibsonomy ESWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF agents, Protocol, Communication acts
32Juraj Hromkovic Randomized Communication Protocols (A Survey). Search on Bibsonomy SAGA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF two-party protocols, communication complexity, Randomized computing
32Ali Assi, Bozena Kaminska Modeling of communication protocols in VHDL. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF ISO/CCITT class O, VLSI, VLSI, high level synthesis, VHDL, transport protocols, transport protocol, communication protocols, hardware description languages, hardware implementations, high level design, ISO standards
31Shigeki Kitazawa, Masakazu Soshi, Atsuko Miyaji An Agent-Based Model of Anonymous Communication Protocols. Search on Bibsonomy WETICE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Torsten Braun Tutorial 2: Communication Protocols in Wireless Sensor Networks. Search on Bibsonomy ISCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Zarrin Langari, Richard J. Trefler Formal Modeling of Communication Protocols by Graph Transformation. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Mohamed Jmaiel A Unified Algebraic Framework for Specifying Communication Protocols. Search on Bibsonomy ICFEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Formal specification, Petri nets, Temporal logic, Process Algebra, Communication protocols, Algebraic Specification
30Johnny Öberg, Anshul Kumar, Ahmed Hemani Grammar-Based Hardware Synthesis of Data Communication Protocols. Search on Bibsonomy ISSS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Grammar-based Specification, Data Communication Protocols, Design Space Exploration, Hardware Synthesis
29Francisco Vilar Brasileiro, Fabíola Greve, Frederic Tronel, Michel Hurfin, Jean-Pierre Le Narzul Eva: An Event-Based Framework for Developing Specialized Communication Protocols. Search on Bibsonomy NCA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Torsten Hoefler, Christian Siebert, Andrew Lumsdaine Scalable communication protocols for dynamic sparse data exchange. Search on Bibsonomy PPOPP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF alltoall, distributed termination, irregular algorithms, nonblocking collective operations, sparse data exchange
29Senem Velipasalar, Chang Hong Lin, Jason Schlessman, Wayne H. Wolf Design and Verification of Communication Protocols for Peer-to-Peer Multimedia Systems. Search on Bibsonomy ICME The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29David C. Roberts, David A. Grossman, Ophir Frieder, R. Bernstein, E. Bisfiop Performance testing of communication protocols for three-tier computing: results for ICA and X window protocols. Search on Bibsonomy ICCCN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF three-tier computing, ICA protocols, X window protocols, Windows NT operating system, data server, stored databases, Tier 1, Tier 2, client program, desktop machines, Tier 3, intelligence computer architecture, Microsoft Office 97, Lotus Notes applications, user interface, data compression, data compression, communication protocols, network traffic, application server, performance testing, network bandwidth, multi-user environment
28Mahdi Niamanesh, Rasool Jalili Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata. Search on Bibsonomy FSEN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Juraj Hromkovic, Martin Sauerhoff Tradeoffs between Nondeterminism and Complexity for Communication Protocols and Branching Programs. Search on Bibsonomy STACS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Panagiotis Melas, Ed Zaluska Performance of Message-Passing Systems using a Zero-Copy Communication Protocol. Search on Bibsonomy IEEE PACT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF zero-copy protocols, BIP, communication models performance, latency, communication protocols, bandwidth, cluster of workstations, message-passing systems
27Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui Formal Specification of Communication Protocols with Object-Based ECATNets. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF object-based ECATNets, specification framework, Ethernet protocol, formal specification, formal specification, Petri nets, prototyping, communication protocols, abstract data types, rewriting logic, rewriting system
27K. Vijayananda Distributed fault detection in communication protocols using extended finite state machines. Search on Bibsonomy ICPADS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF distributed fault detection, run-time fault detection, coding defects, memory problems, protocol faults, vocabulary faults, sequencing faults, parallel decomposition method, multiple observers, distributed fault detection mechanism, fault tolerant computing, finite state machines, transport protocols, encoding, communication protocols, fault coverage, extended finite state machines
27Dongman Lee, Dukyun Nam, Hee Yong Youn, Chansu Yu OCI-Based Group Communication Support in CORBA. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF open communications interface, CORBA, Group communication, FT CORBA
27Carlos E. Pereira, Peter Neumann Industrial Communication Protocols. Search on Bibsonomy Handbook of Automation The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Kanishka Lahiri, Sujit Dey, Anand Raghunathan Evaluation of the Traffic-Performance Characteristics of System-on-Chip Communication Architectures. Search on Bibsonomy VLSI Design The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Rajashekar Kailar Accountability in Electronic Commerce Protocols. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF electronic commerce, logic, cryptographic protocols, Accountability, formal analysis, protocol analysis
26Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian A Reflective Middleware Framework for Communication in Dynamic Environments. Search on Bibsonomy CoopIS/DOA/ODBASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam A Discipline for Constructing Multiphase Communication Protocols Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
25Dieter Gollmann What do We Mean by Entity Authentication? Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 1996 DBLP  DOI  BibTeX  RDF authentication protocol design, message passing protocols, high-level objectives, protocol specification abstraction level, cryptographic function, formal specification, cryptography, protocols, message passing, encryption, communication protocols, message authentication, entity authentication
25Barry O'Rourke, Steve Wisniewski, Thilo Demmeler, Paolo Giusto Rapid Prototyping of Automotive Communication Protocols. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Michael Hilker, Katja Luther Artificial Cell Communication in Distributed Systems. Search on Bibsonomy AINA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Biologically-Inspired Systems, Distributed Systems, Multi-Agent Systems, Network Security, Artificial Immune Systems, Communication Protocols
25Dimitrios Koukopoulos, Marios Mavronicolas, Sotiris E. Nikoletseas, Paul G. Spirakis On the Stability of Compositions of Universally Stable, Greedy Contention-Resolution Protocols. Search on Bibsonomy DISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket Multicast Group Communication for CORBA. Search on Bibsonomy DOA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Prabhu Shankar Kaliappan, Hartmut König, Vishnu Kumar Kaliappan Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker. Search on Bibsonomy CSSE (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Hideki Ochiai, Patrick Mitran, Vahid Tarokh Variable-Rate Two-Phase Collaborative Communication Protocols for Wireless Networks. Search on Bibsonomy IEEE Trans. Information Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Deborah A. Agarwal, Louise E. Moser A Graphical Interface for Analysis of Communication Protocols. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
25Wuxu Peng, Kia Makki Lossy Communicating Finite State Machines. Search on Bibsonomy Telecommunication Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF concurrency model, verification, specification, communication protocols
24Jingyang Zhou, Zhiyong Jia, Daoxu Chen Designing Reliable Communication Protocols for Mobile Agent. Search on Bibsonomy ICDCS Workshops The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Larry L. Peterson Life on the OS/network boundary. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
24Jiannong Cao, Xinyu Feng, Jian Lu 0001, Sajal K. Das Mailbox-Based Scheme for Designing Mobile Agent Communication Protocols. Search on Bibsonomy IEEE Computer The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Juan Fernández, Eitan Frachtenberg, Fabrizio Petrini BCS-MPI: A New Approach in the System Software Design for Large-Scale Parallel Computers. Search on Bibsonomy SC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF buffered coscheduling, STORM, MPI, cluster computing, communication protocols, system software, Quadrics, large-scale parallel computers
23Dumitru Brinza, Alexander Zelikovsky DEEPS: Deterministic Energy-Efficient Protocol for Sensor networks. Search on Bibsonomy SNPD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Yoann Dieudonné, Shlomi Dolev, Franck Petit, Michael Segal 0001 Deaf, Dumb, and Chatting Asynchronous Robots. Search on Bibsonomy OPODIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Explicit Communication, Stigmergy, Mobile Robot Networks
23Eric C. Cooper, Peter Steenkiste, Robert D. Sansom, Brian Zill Protocol Implementation on the Nectar Communication Processor. Search on Bibsonomy SIGCOMM The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
23Ulle Endriss Temporal Logics for Representing Agent Communication Protocols. Search on Bibsonomy AC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Nina T. Bhatti, Richard D. Schlichting Configurable Communication Protocols for Mobile Computing. Search on Bibsonomy ISADS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23John Heinlein, Kourosh Gharachorloo, Robert P. Bosch Jr., Mendel Rosenblum, Anoop Gupta Coherent Block Data Transfer in the FLASH Multiprocessor. Search on Bibsonomy IPPS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF FLASH multiprocessor, block data transfer, multiple communication protocols, embedded protocol processor, protocol, shared memory, prefetching, cache storage, FLASH, cache coherence protocol, multiprocessor architecture, MAGIC
23Rong-Yuh Hwang An Efficient Technique of Instruction Scheduling on a Superscalar-Based Mulprocessor. Search on Bibsonomy IPPS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF FLASH multiprocessor, block data transfer, multiple communication protocols, embedded protocol processor, protocol, shared memory, prefetching, cache storage, FLASH, cache coherence protocol, multiprocessor architecture, MAGIC
23Weiwu Hu, Gang Shi, Fuxin Zhang Communication with Threads in Software DSM. Search on Bibsonomy CLUSTER The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
23Robert Siegmund, Dietmar Müller 0001 Efficient modeling and synthesis of on-chip communication protocols for network-on-chip design. Search on Bibsonomy ISCAS (5) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Yaoyun Shi Tensor norms and the classical communication complexity of nonlocal quantum measurement. Search on Bibsonomy STOC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bell inequality, classical simulation, fourier sampling problem, quantum entanglement, tensor norms, communication complexity
23Shigeru Watanabe, Kenshu Seto, Yuji Ishikawa, Satoshi Komatsu, Masahiro Fujita Protocol Transducer Synthesis using Divide and Conquer approach. Search on Bibsonomy ASP-DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF out-of-order transactions, large scale system on a chip, IP-based design, automatic protocol transducer synthesis, nonblocking transactions, design methodologies, communication protocols, protocol conversion, divide and conquer approach
23Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith Analyzing the latency of the Totem multicast protocols. Search on Bibsonomy ICCCN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Totem multicast protocols, multicast group communication protocols, latency analysis, reliable totally ordered delivery, logical token-passing ring, single-ring network, two-ring network, four-ring network, multiple-ring networks, mean latency, latency distribution, distributed systems, protocols, local area networks, LAN, probability density functions, gateways, protocols performance, message delivery, message filtering
23James Brusey, Duncan C. McFarlane Designing Communication Protocols for Holonic Control Devices Using Elementary Nets. Search on Bibsonomy HoloMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Hong-Jun Dai, Tian-Zhou Chen, Chun Chen, Jiang-Wei Huang CDP: Component Development Platform for Communication Protocols. Search on Bibsonomy ICESS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Nik Nailah Binti Abdullah The induction of communication protocols. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF human learning and communication, activity theory, agent communication, situated cognition, FIPA-ACL
23Mattias O'Nils, Axel Jantsch Synthesis of DMA Controllers from Architecture Independent Descriptions of HW/SW Communication Protocols. Search on Bibsonomy VLSI Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
22Haiwei Wu, Haiye Yu, Haoyu Yang, Lei Zhang, Keling Zhang, Huiyu Cui Communication Protocols Realization of the Prediction and Evaluation Light Environment Embedded Systems. Search on Bibsonomy MVHI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF light measurement, embedded systems, communication protocols
22Evren Onem, Huseyin Birkan Yilmaz, Fatih Alagöz, Tuna Tugcu On communication protocols for tactical navigation assistance. Search on Bibsonomy MOBILWARE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF C-TRAMAF, Gossip-based ad hoc routing, N-Gossip, digital battlefield, tactical navigation, communication protocols, cross layer
22Maricela Bravo, José Velázquez Measuring Heterogeneity between Web-Based Agent Communication Protocols. Search on Bibsonomy OTM Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF measuring heterogeneity, Agent communication protocols
22Elena Pagani, Gian Paolo Rossi 0001 Comparing Performances and Quality of Service of Group Communication Protocols. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF failure conditions, simulations, quality of service, protocols, performance comparison, design issues, application requirements, group communication protocols, fault tolerant distributed applications
22Stefan Fischer 0001, Jacek Wytrebowicz, Stanislaw Budkowski Hardware/Software Co-Design of Communication Protocols. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF high performance distributed systems, system design techniques, standardized formal language Estelle, VHDL code, video-on-demand example, multimedia systems, multimedia systems, communication protocols, hardware/software codesign, C code
22Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour Formal specification and verification of communication protocols using automated tools . Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF OSI protocol, large models, simulation, modelling, formal specification, formal specification, testing, protocols, formal verification, software tools, validation, theorem proving, process algebra, communication protocols, open systems, algebra, formal logic, automated tools, model checker, model testing, complex models, automated theorem prover
22Robert L. Probert, Kassem Saleh Synthesis of Communication Protocols: Survey and Assessment. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1991 DBLP  DOI  BibTeX  RDF communication protocols synthesis, synchronous mode of behavior, communicating entities, error-recovery patterns, protocols, assessment, survey, design process, interactive methods, semantic correctness
22H. Paul Lin, Harry E. Stovall III Self-Synchronizing Communication Protocols. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1989 DBLP  DOI  BibTeX  RDF self-synchronizing communication protocols, synchronization problems, synchronization errors, process collision, conflicting messages, operating protocols, CCITT X.21, session control protocol, IBM System Network Architecture, protocols, standardization, collisions detection, synchronisation, protocol design, collisions resolution, SNA, message transmission, synchronization mechanism, SSPs
22Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF PROTEAN, high-level Petri net tool, numerical Petri nets, textual interfaces, exhaustive reachability analysis, directed graph analysis, engineering workstation, verification, protocols, specification, software tools, finite state machines, specification languages, directed graphs, communication protocols, finite automata, graphical interfaces, interactive simulation
22Rami R. Razouk, Gerald Estrin Modeling and Verification of Communication Protocols in SARA: The X.21 Interface. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1980 DBLP  DOI  BibTeX  RDF Automated control-flow analysis, verification, computer-aided design, communication protocols, graph models, deadlock detection
22Yingwei Luo, Xinpeng Liu, Xiaolin Wang, Zhuoqun Xu XML Approach to Communication Design of WebGIS. Search on Bibsonomy ICWE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Kaushalya Premadasa, Björn Landfeldt An Elaboration on Dynamically Re-configurable Communication Protocols Using Key Identifiers. Search on Bibsonomy HPCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Ioannis Chatzigiannakis, Sotiris E. Nikoletseas, Nearchos Paspallis, Paul G. Spirakis, Christos D. Zaroliagis An Experimental Study of Basic Communication Protocols in Ad-hoc Mobile Networks. Search on Bibsonomy Algorithm Engineering The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
22Fabrizio Petrini, Wu-chun Feng Time-Sharing Parallel Jobs in the Presence of Multiple Resource Requirements. Search on Bibsonomy JSSPP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Performance Evaluation, Communication Protocols, Distributed Operating Systems, Parallel Job Scheduling
21Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay Session Types for Functional Multithreading. Search on Bibsonomy CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF static typechecking, specification of communication protocols, concurrent programming, Session types
21Elsa L. Gunter, Anca Muscholl, Doron A. Peled Compositional message sequence charts. Search on Bibsonomy STTT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Finite-state communication protocols, Message sequence charts, Partial-order methods
21Gyula Csopaki, Gábor András Horváth, Gábor Kovács Communication Protocol Implementation in Java. Search on Bibsonomy IDMS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Java, compilation, communication protocols, SDL, formal description
21Kanishka Lahiri, Anand Raghunathan, Sujit Dey Design space exploration for optimizing on-chip communication architectures. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Jean Fanchon, Khalil Drira, Saúl E. Pomares Hernández Abstract Channels as Connectors for Software Components in Group Communication Services. Search on Bibsonomy ENC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Ordering Protocols, Software Components, Group Communication
21Guillermo L. Taboada, Juan Touriño, Ramon Doallo Efficient Java Communication Protocols on High-speed Cluster Interconnects. Search on Bibsonomy LCN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Ralf Burda, Jörn Seger A Tool Framework for Generation of Application Optimized Communication Protocols. Search on Bibsonomy CNSR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF optimization, autonomous agents, protocol design
20Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino, Ana R. Cavalli A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs. Search on Bibsonomy ICOIN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
20Daisuke Teratani, Yoshiaki Kakuda, Tohru Kikuno A New Model with Time Constraints for Conformance Testing of Communication Protocols. Search on Bibsonomy Asian Test Symposium The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
20Juan C. Moure, Daniel Franco 0002, Elisa Heymann, Emilio Luque TransCom: A Communication Microkernel for Transputers. Search on Bibsonomy PDP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF communication microkernel, TransCom, TransRouter, data transport, processor resource, parallel programming, parallel programming, parallel architecture, message passing, message passing, communication network, communication protocols, distributed memory systems, processor scheduling, network operating systems, access protocols, operating system kernels, transputers, distributed-memory multiprocessor, load distribution, communication primitives, transputer systems
20Michael Yang, Ahmed N. Tantawy A design methodology for protocol processors. Search on Bibsonomy FTDCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF protocol processors, FCS, Fibre Channel Standard, homogeneous multi-processors, single VLSI chip, VHDL macro libraries, VLSI protocol processors, CVDS, Communication VLSI Design System, protocols, asynchronous transfer mode, ATM, multiprocessing systems, communication protocols
20Kari Alho, Casper Lassenius, Reijo Sulonen Process enactment support in a distributed environment. Search on Bibsonomy WETICE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF process enactment support, general-purpose process modeling, multi-paradigm process descriptions, industry-standard communication and distribution mechanisms, configuration management systems, logistics control, enhanced electronic communication, software engineering, operating systems, CORBA, distributed processing, systems analysis, communication protocols, configuration management, computer aided software engineering, distributed environment, entity-relationship modelling, office automation, process execution
20José Meseguer A Logical Framework for Distributed Systems and Communication Protocols. Search on Bibsonomy FORTE The full citation details ... 1998 DBLP  BibTeX  RDF
20Sungwon Kang, Myungchul Kim Interoperability Test Suite Derivation for Symmetric Communication Protocols. Search on Bibsonomy FORTE The full citation details ... 1997 DBLP  BibTeX  RDF
20Jinsong Zhu, Son T. Vuong Generalized Metric Based Test Selection and Coverage Measure for Communication Protocols. Search on Bibsonomy FORTE The full citation details ... 1997 DBLP  BibTeX  RDF
20F. J. Carrasco, J. J. Gil A method for specifying and validating communication protocols in LOTOS. Search on Bibsonomy FORTE The full citation details ... 1992 DBLP  BibTeX  RDF
20P. Li, M. von Thun, Tharam S. Dillon Semiautomatic Implementation of Communication Protocols from a Petri Net Based Specification Language Description. Search on Bibsonomy FORTE The full citation details ... 1989 DBLP  BibTeX  RDF
20Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott A semantic model for safe protocol interaction. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20A. E. Eiben, Martijn C. Schut, T. Toma Comparing multicast and newscast communication in evolving agent societies. Search on Bibsonomy GECCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Babak Falsafi, David A. Wood 0001 Scheduling Communication on a SMP Node Parallel Machine. Search on Bibsonomy HPCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
20Frank Vahid, Linus Tauro An Object-Oriented Communication Library for Hardware-Software CoDesign. Search on Bibsonomy CODES The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Communication, Object-Oriented, C, VHDL, Libraries, Codesign
20M. Cecilia Bastarrica, Steven A. Demurjian, Alexander A. Shvartsman Comprehensive Specification of Distributed Systems Using I5 and IOA. Search on Bibsonomy SCCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF distributed systems specification, incompatible components, IOA formal language, I5 specification framework, architectural definition, semantic specification, software architecture, formal specification, standardization, distributed processing, specification languages, specification language, communication protocols, configuration management, configuration management
20Manuel Esteve, Carlos E. Palau, Juan Carlos Guerri A synchronization service framework for XTP. Search on Bibsonomy LCN The full citation details ... 1995 DBLP  DOI  BibTeX  RDF synchronization service, transport protocols, transport protocols, synchronisation, communication protocols, distributed real-time systems, XTP
Displaying result #1 - #100 of 1754 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license