Search results for "network protocols"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Taehoon Kim, Sungwoo Tak	A real-time hardware-software codesign technique of network protocols to provide QoS.	ICHIT	2009	DBLP DOI BibTeX RDF	QoS communications architecture, real-time scheduling, network protocols, hardware-software codesign
3	Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough	Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets.	SIGCOMM	2005	DBLP DOI BibTeX RDF	specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL
3	Norman C. Hutchinson, Larry L. Peterson	The x-Kernel: An Architecture for Implementing Network Protocols.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	x-Kernel, architecture, protocols, interface, network protocols, network operating systems, operating system kernel
2	Muhammad Bilal Anwer, Murtaza Motiwala, Muhammad Mukarram Bin Tariq, Nick Feamster	SwitchBlade: a platform for rapid deployment of network protocols on programmable hardware.	SIGCOMM	2010	DBLP DOI BibTeX RDF	network virtualization, NetFPGA
2	Dave Feinberg	Teaching simplified network protocols.	SIGCSE	2010	DBLP DOI BibTeX RDF	simulation, network, protocol, programming, ethernet, ip, tcp
2	Bogdan Aman, Gabriel Ciobanu	Timed Mobile Ambients for Network Protocols.	FORTE	2008	DBLP DOI BibTeX RDF
2	Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou	J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols.	IPDPS	2007	DBLP DOI BibTeX RDF
2	Paolo Pagano, Prashant Batra, Giuseppe Lipari	A Framework for Modeling Operating System Mechanisms in the Simulation of Network Protocols for Real-Time Distributed Systems.	IPDPS	2007	DBLP DOI BibTeX RDF
2	Thomas Meyer, Lidia Yamamoto, Christian F. Tschudin	An Artificial Chemistry for Networking.	BIOWIRE	2007	DBLP DOI BibTeX RDF	Fraglets, load balancing, distributed algorithms, network protocols, artificial chemistry
2	Sarah Damiani, Christopher Griffin, Shashi Phoha, Stephan Racunas, Christopher Rogan	Verification of Secure Network Protocols in Uncertain Environments.	IJWIN	2006	DBLP DOI BibTeX RDF	pushdown machine, Protocol verification, discrete event control
2	Ana R. Cavalli, Dario Vieira	An Enhanced Passive Testing Approach for Network Protocols.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
2	Osama S. Youness, Wail Elkilani, Waiel F. Abd El-Wahed, Fawzy A. Torkey	A Robust Methodology for Performance Evaluation of Communication Networks Protocols.	CNSR	2006	DBLP DOI BibTeX RDF	Performance evaluation, Network protocols, Stochastic Petri nets, Decomposition techniques
2	Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou	Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics.	ICFEM	2005	DBLP DOI BibTeX RDF
2	Pilu Crescenzi, Giorgio Gambosi, Gaia Innocenti	NetPrIDE an integrated environment for developing and visualizing computer network protocols.	ITiCSE	2005	DBLP DOI BibTeX RDF	Java, protocol, computer network, software visualization
2	Gabriel Ciobanu, K. N. Sridhar	Specifications and Verification of Network Protocols by Process Algebra.	SYNASC	2005	DBLP DOI BibTeX RDF
2	Taskin Koçak	An architecture for high-speed execution of upper layer (4-7) network protocols.	ACM Southeast Regional Conference	2005	DBLP DOI BibTeX RDF	higher layer network protocols and services, network processors
2	Yvo Desmedt	Understanding Why Some Network Protocols Are User-Unfriendly.	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
2	John C. Mitchell	Security analysis of network protocols: logical and computational methods.	PPDP	2005	DBLP DOI BibTeX RDF	security, network, protocols
2	Sandip Bapat, Vinodkrishnan Kulathumani, Anish Arora	Analyzing the Yield of ExScal, a Large-Scale Wireless Sensor Network Experiment.	ICNP	2005	DBLP DOI BibTeX RDF
2	Joseph Polastre, Jonathan Hui, Philip Levis, Jerry Zhao, David E. Culler, Scott Shenker, Ion Stoica	A unifying link abstraction for wireless sensor networks.	SenSys	2005	DBLP DOI BibTeX RDF	link protocols, network abstractions, wireless sensor networks, network protocols, protocol architecture
2	Zenon Chaczko, Sourendra Nath Sinha	SAFE Model Approach to Construction of Intelligent Security Systems.	ICITA	2005	DBLP DOI BibTeX RDF	intelligent security system, sensor network, network protocols, distributed service, holons
2	Daeyoung Kim, Tomás López, Seongeun Yoo, Jongwoo Sung, Jaeeon Kim, Youngsoo Kim, Yoonmee Doh	ANTS: An Evolvable Network of Tiny Sensors.	EUC	2005	DBLP DOI BibTeX RDF	Security, Sensor Networks, Middleware, Synchronization, Localization, Operating Systems, Network Protocols, Evolvability
2	Vince Grolmusz, Zoltán Király	Generalized Secure Routerless Routing.	ICN	2005	DBLP DOI BibTeX RDF	High speed optical networks, routerless routing, secure network protocols
2	Karthikeyan Bhargavan, Carl A. Gunter	Network Event Recognition.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	correctness of implementations, languages for network protocols, network event recognition, NERL, Network monitoring, protocol verification, formal analysis
2	Tri Pham, Eun Jik Kim, W. Melody Moh	On Data Aggregation Quality and Energy Efficiency of Wireless Sensor Network Protocols - Extended Summary.	BROADNETS	2004	DBLP DOI BibTeX RDF
2	Cintia B. Margi, Katia Obraczka	Instrumenting Network Simulators for Evaluating Energy Consumption in Power-Aware Ad-Hoc Network Protocols.	MASCOTS	2004	DBLP DOI BibTeX RDF
2	John C. S. Lui, Vishal Misra, Dan Rubenstein	On the Robustness of Soft State Protocols.	ICNP	2004	DBLP DOI BibTeX RDF	methodology of designing network protocols, robustness, stochastic analysis
2	Ioannis Broustis, Michael Paterakis	On the Feasibility of Integrated MPEG Teleconference and Data Transmission, over IEEE 802.11 WLANs.	NETWORKING	2004	DBLP DOI BibTeX RDF	IEEE 802.11b Wireless Local Area Networks, MPEG Teleconference, Performance Evaluation, Video, Network Protocols
2	Shaoying Liu	Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols.	AINA	2003	DBLP DOI BibTeX RDF
2	Qian Lv, Benxiong Huang, Furong Wang	The Mechanism of ASN.1 Encoding & Decoding Implementation in Network Protocols.	ITCC	2003	DBLP DOI BibTeX RDF
2	Adam Bradley, Azer Bestavros, Assaf J. Kfoury	Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN.	ICNP	2003	DBLP DOI BibTeX RDF
2	V. Radha, Ved Prakash Gulati, Arun K. Pujari	Appcast - A Low Stress and High Stretch Overlay Protocol.	GCC	2003	DBLP DOI BibTeX RDF	Networks, Multicast, Distributed Computing, Broadcast, Network Protocols, Network Algorithms
2	David Lee, Dongluo Chen, Ruibing Hao, Raymond E. Miller, Jianping Wu, Xia Yin	A Formal Approach for Passive Testing of Protocol Data Portions. (PDF / PS)	ICNP	2002	DBLP DOI BibTeX RDF
2	Daniel C. DuVarney, S. Purushothaman Iyer	C Wolf - A Toolset for Extracting Models from C Programs.	FORTE	2002	DBLP DOI BibTeX RDF	Abstract Model checking, Concurrency Workbench, FDT for network protocols, Software tools, Verification and validation, C programs
2	Alice Wang, Wendi B. Heinzelman, Amit Sinha, Anantha P. Chandrakasan	Energy-Scalable Protocols for Battery-Operated MicroSensor Networks.	VLSI Signal Processing	2001	DBLP DOI BibTeX RDF	low power, sensors, data fusion, network protocols, power aware, beamforming
2	John R. Hughes, Tuomas Aura, Matt Bishop	Using Conservation of Flow as a Security Mechanism in Network Protocols. (PDF / PS)	IEEE Symposium on Security and Privacy	2000	DBLP DOI BibTeX RDF
2	Brad Richards	Bugs as features: teaching network protocols through debugging.	SIGCSE	2000	DBLP DOI BibTeX RDF
2	Jung Pil Choi	Aspect-Oriented Programming with Enterprise JavaBeans. (PDF / PS)	EDOC	2000	DBLP DOI BibTeX RDF	EJB server, generalized metaobject, EJBObject, testing application, security, middleware, object-oriented programming, aspect-oriented programming, AES, transaction processing, network protocols, container, enterprise JavaBeans, object persistence, location transparency
2	Luigi Rizzo	An Embedded Network Simulator to Support Network Protocols' Development.	Computer Performance Evaluation	1997	DBLP DOI BibTeX RDF	Protocol evaluation, simulation, TCP/IP
2	Erich M. Nahum, David J. Yates, James F. Kurose, Donald F. Towsley	Cache Behavior of Network Protocols.	SIGMETRICS	1997	DBLP DOI BibTeX RDF	Internet
2	W. Melody Moh	On multicasting ABR protocols for wireless ATM networks.	ICNP	1997	DBLP DOI BibTeX RDF
2	Mounir Hamdi, Yi Pan, Babak Hamidzadeh, F. M. Lim	Potentials and limitations of parallel computing on a cluster of workstation. (PDF / PS)	ICPADS	1997	DBLP DOI BibTeX RDF	workstation architectures, communication-to-computation ratio, data partitioning schemes, parallel ray tracing application, performance, parallel computing, protocols, analytical modeling, network protocols, cluster of workstations, load balancing strategies
2	Yong Sun, Hongji Yang	Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study.	EUROMICRO	1996	DBLP DOI BibTeX RDF	communication mechanism independent protocol specification, abstract synchronous communication mechanism, asynchronous communication mechanisms, computer network protocols, specification, communicating sequential processes, communicating sequential processes, alternating bit protocol, communication mechanism
2	Goutam Chakraborty, Norio Shiratori	Soft resource reservation: A flexible guarantee of QoS. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	user's request, Intelligent Soft Resource Reservation Protocol, soft resource reservation, QoS, Internet, Internet, fault tolerant computing, local area networks, transport protocols, multimedia systems, flexibility, network protocols, LAN, tolerance, multimedia services
2	Chooi-Tian Lee, Jack W. Harris	Principle and Technique for Encapsulation of User Control and Data Information in Separate Frames. (PDF / PS)	LCN	1996	DBLP DOI BibTeX RDF	real-time interactive multimedia services, data/media integration, separate frames, ATM protocol, application communication services, network communication services, user-data information, network-level, FAL protocol, traffic policing, frame adaptation layer protocol, World Wide Web, network protocols, encapsulation, secure communication, traffic shaping, telecommunication services, reliable communication, user control, communication services
2	Chandramohan A. Thekkath, Thu D. Nguyen, Evelyn Moy, Edward D. Lazowska	Implementing Network Protocols at User Level.	SIGCOMM	1993	DBLP DOI BibTeX RDF	TCP/IP
2	Deepinder P. Sidhu, Juan Aristizabal	Constructing Submodule Specifications and Network Protocols.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	submodule specifications, module specification, formal specification, formal specification, protocols, software tools, finite-state machine, communication protocols, network protocols, finite automata, automated tool, execution sequences
2	Baruch Awerbuch	On the Effects of Feedback in Dynamic Network Protocols (Preliminary Version)	FOCS	1988	DBLP DOI BibTeX RDF	dynamic network protocols, proving correctness, logarithmic transformers, performance analysis, feedback, communication complexity, communication protocols, asynchronous network
2	Dennis Shasha, Amir Pnueli, W. Ewald	Temporal Verification of Carrier-Sense Local Area Network Protocols.	POPL	1984	DBLP DOI BibTeX RDF
1	Jesus Diaz, David Arroyo, Francisco B. Rodriguez	A formal methodology for integral security design and verification of network protocols	CoRR	2012	DBLP BibTeX RDF
1	Sonia Hashish	Towards Increasing the Reusability of the Wireless Sensor Network Protocols.	SENSORNETS	2012	DBLP BibTeX RDF
1	William M. Mongan	An integrated introduction to network protocols and cryptography to high school students (abstract only).	SIGCSE	2012	DBLP DOI BibTeX RDF
1	Reiner Jedermann, Markus Becker, Carmelita Görg, Walter Lang	Testing network protocols and signal attenuation in packed food transports.	IJSNet	2011	DBLP DOI BibTeX RDF
1	Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro	Parameterized Verification of Safety Properties in Ad Hoc Network Protocols	PACO	2011	DBLP DOI BibTeX RDF
1	Gustavo Carneiro, Helder Fontes, Manuel Ricardo	Fast prototyping of network protocols through ns-3 simulation model reuse.	Simulation Modelling Practice and Theory	2011	DBLP DOI BibTeX RDF
1	Ivan Daniel Burke, Martin S. Olivier	Analysing the fairness of trust-based Mobile Ad Hoc Network protocols.	ISSA	2011	DBLP BibTeX RDF
1	D. Rehunathan, Saleem N. Bhatti, Vincent Perrier, Pan Hui	The study of mobile network protocols with virtual machines.	SimuTools	2011	DBLP BibTeX RDF
1		Proceedings of the 19th annual IEEE International Conference on Network Protocols, ICNP 2011, Vancouver, BC, Canada, October 17-20, 2011	ICNP	2011	DBLP BibTeX RDF
1	Irum Kazmi, Syed Fahim Yousaf Bukhari	PeerSim: An Efficient & Scalable Testbed for Heterogeneous Cluster-based P2P Network Protocols.	UKSim	2011	DBLP DOI BibTeX RDF
1	Victor Govindaswamy, William L. Blackstone, G. Balasekara	Survey of Recent Position Based Routing Mobile Ad-hoc Network Protocols.	UKSim	2011	DBLP DOI BibTeX RDF
1	Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino	A Comprehensive Test Strategy for Network Protocols in Diverse Environment.	MASCOTS	2011	DBLP DOI BibTeX RDF	performance evaluation, wireless network, network simulation
1	Björn Hurling, Sven Tomforde, Stefan Rudolph, Jörg Hähner, Christian Müller-Schloer	Evolving network protocols.	ICAC	2011	DBLP DOI BibTeX RDF
1	Taewoo Kwon, Emre Ertin, Anish Arora	Performance repeatability of low power wireless sensor network protocols: a multi testbed study.	MSWiM	2011	DBLP DOI BibTeX RDF
1	Rajesh Krishna Panta, Robert J. Hall, Josh Auzins, Maria Fernandez	Geocast for wireless sensor networks.	ICNP	2011	DBLP DOI BibTeX RDF
1	Sufian Hameed, Xiaoming Fu, Pan Hui, Nishanth R. Sastry	LENS: Leveraging social networking and trust to prevent spam transmission.	ICNP	2011	DBLP DOI BibTeX RDF
1	Xiaoxiao Hou, Pralhad Deshpande, Samir R. Das	Moving bits from 3G to metro-scale WiFi for vehicular network access: An integrated transport layer solution.	ICNP	2011	DBLP DOI BibTeX RDF
1	Xin Zhang, Zongwei Zhou, Geoffrey Hasker, Adrian Perrig, Virgil D. Gligor	Network fault localization with small TCB.	ICNP	2011	DBLP DOI BibTeX RDF
1	Honggang Zhang, Sudarshan Vasudevan, Ran Li, Don Towsley	A case for coalitions in data swarming systems.	ICNP	2011	DBLP DOI BibTeX RDF
1	Xinyu Zhang, Kang G. Shin	Adaptive Subcarrier Nulling: Enabling partial spectrum sharing in wireless LANs.	ICNP	2011	DBLP DOI BibTeX RDF
1	Xiaojun Feng, Jin Zhang, Qian Zhang, Bo Li	REPICK: Random access MAC with reversed contention and Piggy-backed ACK.	ICNP	2011	DBLP DOI BibTeX RDF
1	Hongcheng Tian, Jun Bi, Wei Zhang, Xiaoke Jiang	EasyTrace: An easily-deployable light-weight IP traceback on an AS-level overlay network.	ICNP	2011	DBLP DOI BibTeX RDF
1	Kang Chen, Haiying Shen	Global optimization of file availability through replication for efficient file sharing in MANETs.	ICNP	2011	DBLP DOI BibTeX RDF
1	Zi Li, Yang Peng, Wensheng Zhang, Daji Qiao	J-RoC: A Joint Routing and Charging scheme to prolong sensor network lifetime.	ICNP	2011	DBLP DOI BibTeX RDF
1	An (Jack) Chan, Henrik Lundgren, Theodoros Salonidis	Video-Aware Rate Adaptation for MIMO WLANs.	ICNP	2011	DBLP DOI BibTeX RDF
1	Qian Wang, Kui Ren, Peng Ning	Anti-jamming communication in cognitive radio networks with unknown channel statistics.	ICNP	2011	DBLP DOI BibTeX RDF
1	Antonio Junior, Rute C. Sofia, Antonio Costa	Energy-efficient routing.	ICNP	2011	DBLP DOI BibTeX RDF
1	Jaehyuk Choi, Kang G. Shin	Out-of-band sensing with ZigBee for dynamic channel assignment in on-the-move hotspots.	ICNP	2011	DBLP DOI BibTeX RDF
1	Xinwen Zhang, Katharine Chang, Huijun Xiong, Yonggang Wen, Guangyu Shi, Guoqiang Wang	Towards name-based trust and security for content-centric network.	ICNP	2011	DBLP DOI BibTeX RDF
1	Jiachen Chen, Mayutan Arumaithurai, Xiaoming Fu, K. K. Ramakrishnan	Gaming over COPSS: A content centric communication infrastructure for gaming applications.	ICNP	2011	DBLP DOI BibTeX RDF
1	Julien Herzen, Cédric Westphal, Patrick Thiran	Scalable routing easy as PIE: A practical isometric embedding protocol.	ICNP	2011	DBLP DOI BibTeX RDF
1	Bingyang Liu, Jun Bi, Yu Zhu	A deployable approach for inter-AS anti-spoofing.	ICNP	2011	DBLP DOI BibTeX RDF
1	Dan Li, Mingwei Xu, Hongze Zhao, Xiaoming Fu	Building mega data center from heterogeneous containers.	ICNP	2011	DBLP DOI BibTeX RDF
1	Yang Xiang, Zhiliang Wang, Xia Yin, Jianping Wu	Argus: An accurate and agile system to detecting IP prefix hijacking.	ICNP	2011	DBLP DOI BibTeX RDF
1	Xuejun Zhuo, Wei Gao, Guohong Cao, Yiqi Dai	Win-Coupon: An incentive framework for 3G traffic offloading.	ICNP	2011	DBLP DOI BibTeX RDF
1	Yangyang Wang, Jun Bi, Jianping Wu	AIDR: Aggregation of BGP routing table with AS path stretch.	ICNP	2011	DBLP DOI BibTeX RDF
1	Chun-Yun Chang, Cheng-Fu Chou, Ming-Hung Chen	Striking the balance between content diversity and content importance in swarm-based P2P streaming.	ICNP	2011	DBLP DOI BibTeX RDF
1	Duy Nguyen, J. J. Garcia-Luna-Aceves	A practical approach to rate adaptation for multi-antenna systems.	ICNP	2011	DBLP DOI BibTeX RDF
1	Laura Marie Feeney	Self-organizing TDMA for multihop networks.	ICNP	2011	DBLP DOI BibTeX RDF
1	Yong Li, Li Su, Depeng Jin, Lieguang Zeng	TUNIE: A virtualized platform for network experiment on programmable infrastructure.	ICNP	2011	DBLP DOI BibTeX RDF
1	Eugene Chai, Kang G. Shin	Sidekick: AP aggregation over partially overlapping channels.	ICNP	2011	DBLP DOI BibTeX RDF
1	Claude Castelluccia, Emiliano De Cristofaro, Aurélien Francillon, Mohamed Ali Kâafar	EphPub: Toward robust Ephemeral Publishing.	ICNP	2011	DBLP DOI BibTeX RDF
1	Ahmed Mansy, Mostafa H. Ammar	Analysis of adaptive streaming for hybrid CDN/P2P live video systems.	ICNP	2011	DBLP DOI BibTeX RDF
1	Guang Yao, Jun Bi, Peiyao Xiao	Source address validation solution with OpenFlow/NOX architecture.	ICNP	2011	DBLP DOI BibTeX RDF
1	Yuanqing Zheng, Mo Li	Fast tag searching protocol for large-scale RFID systems.	ICNP	2011	DBLP DOI BibTeX RDF
1	Florin Dinu, T. S. Eugene Ng	Inferring a network congestion map with zero traffic overhead.	ICNP	2011	DBLP DOI BibTeX RDF
1	Tao Feng, Jun Bi, Hongyu Hu	OpenRouter: OpenFlow extension and implementation based on a commercial router.	ICNP	2011	DBLP DOI BibTeX RDF
1	Onur Ascigil	PhD Forum: On the scalability of source routing architectures.	ICNP	2011	DBLP DOI BibTeX RDF
1	Fei Chen, Bezawada Bruhadeshwar, Alex X. Liu	Privacy-preserving cross-domain network reachability quantification.	ICNP	2011	DBLP DOI BibTeX RDF
1	Shuo Guo, Song Min Kim, Ting Zhu, Yu Gu, Tian He	Correlated flooding in low-duty-cycle wireless sensor networks.	ICNP	2011	DBLP DOI BibTeX RDF
1	Marios Kokkodis, Michalis Faloutsos, Athina Markopoulou	Network-level characteristics of spamming: An empirical analysis.	ICNP	2011	DBLP DOI BibTeX RDF