Search results for "complex protocol"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Jing Liu, Xinming Ye, Jun Li	Analyzing Performance for Complex Protocol using Validated CP-nets Models.	CIT	2010	DBLP DOI BibTeX RDF	complex protocol, performance analysis, colored Petri nets, functional validation
1	Ray Bittner	Bus mastering PCI express in an FPGA.	FPGA	2009	DBLP DOI BibTeX RDF	bus mastering, pcie, performance, fpga, design, pci express
1	Anas Showk, David Szczesny, Shadi Traboulsi, Irv Badr, Maria Elizabeth Gonzalez, Attila Bilgic	Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique.	SDL Forum	2009	DBLP DOI BibTeX RDF	formal verification, formal modeling, automatic code generation, Service-Oriented applications, formal validation
1	Sergey Bratus, Cory Cornelius, David Kotz, Daniel Peebles	Active behavioral fingerprinting of wireless devices.	WISEC	2008	DBLP DOI BibTeX RDF	fingerprinting, 802.11, link layer
1	Ralf Küsters, Max Tuengerthal	Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation.	CSF	2008	DBLP DOI BibTeX RDF	simulation-based security, joint state, secure composition, cryptographic protocols
1	Marinho P. Barcellos, Rodrigo B. Mansilha, Francisco V. Brasileiro	TorrentLab: investigating BitTorrent through simulation and live experiments.	ISCC	2008	DBLP DOI BibTeX RDF
1	Chuanming Jing, Zhiliang Wang, Xia Yin, Jianping Wu	A Formal Approach to Robustness Testing of Network Protocol.	NPC	2008	DBLP DOI BibTeX RDF
1	Somsak Vanit-Anunchai, Jonathan Billington	Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures.	ICATPN	2007	DBLP DOI BibTeX RDF	Formal Specification, Internet Protocols, Coloured Petri Nets, DCCP
1	Wojciech Galuba, Karl Aberer	Generic Emergent Overlays in Arbitrary Peer Identifier Spaces.	IWSOS	2007	DBLP DOI BibTeX RDF
1	Sam Jansen, Anthony McGregor	Performance, Validation and Testing with the Network Simulation Cradle.	MASCOTS	2006	DBLP DOI BibTeX RDF
1	Praveen Tiwari, Saptarshi Biswas, Raj S. Mitra	Apriori Formal Coverage Analysis for Protocol Properties.	VLSI Design	2006	DBLP DOI BibTeX RDF
1	Hyunseok Lee, Trevor N. Mudge	A dual-processor solution for the MAC layer of a software defined radio terminal.	CASES	2005	DBLP DOI BibTeX RDF	SDR terminal, wireless platform, protocol processing
1	YoungJoon Byun, Beverly A. Sanders	A pattern-based development methodology for communication protocols.	SAC	2005	DBLP DOI BibTeX RDF	design pattern, communication protocols, pattern language, development methodology, SPIN model checker
1	Joe Armstrong	EX11: a GUI in a concurrent functional language.	Erlang Workshop	2004	DBLP DOI BibTeX RDF	x protocol, concurrency, GUI, erlang, x windows
1	Mario J. Enriquez, Karon E. MacLean	Impact of Haptic Warning Signal Reliability in a Time-and-Safety-Critical Task.	HAPTICS	2004	DBLP DOI BibTeX RDF	Haptic force feedback, warning signal, participant instructions, experiment design, false positive, driving performance, false negative
1	Hoa-Binh Nguyen, Andrzej Duda	GateScript: A Scripting Language for Generic Active Gateways.	IWAN	2004	DBLP DOI BibTeX RDF
1	Jonathan Billington, Guy Edward Gallasch, Bing Han	A Coloured Petri Net Approach to Protocol Verification.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
1	Giampaolo Bella, Lawrence C. Paulson, Fabio Massacci	The verification of an industrial payment protocol: the SET purchase phase.	ACM Conference on Computer and Communications Security	2002	DBLP DOI BibTeX RDF	inductive specifications, isabelle proof assistant, formal verification, electronic commerce, security protocols
1	Matthew Andrews, Lisa Zhang	Scheduling protocols for switches with large envelopes.	SODA	2002	DBLP DOI BibTeX RDF
1	Jitendra Padhye, Sally Floyd	On inferring TCP behavior.	SIGCOMM	2001	DBLP DOI BibTeX RDF	TCP/IP
1	Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori	Composition of Service and Protocol Specifications. (PDF / PS)	ICOIN	2001	DBLP DOI BibTeX RDF
1	Bhed Bahadur Bista, Y. Ujiie, K. Furuya, Kaoru Takahashi, Norio Shiratori	Support System for Constructing Communication Services and Protocols Based on Compositional Approach. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	communication service design, communication protocol design, compositional approach, sequential composition, protocols, LOTOS, service specifications, protocol specifications, parallel composition
1	Cristian Constantinescu	Assessing Error Detection Coverage by Simulated Fault Injection.	EDCC	1999	DBLP DOI BibTeX RDF
1	Akihiro Tsutsui, Toshiaki Miyazaki	ANT-on-YARDS: FPGA/MPU hybrid architecture for telecommunication data processing.	IEEE Trans. VLSI Syst.	1998	DBLP DOI BibTeX RDF
1	Georg Acher, Wolfgang Karl, Markus Leberecht	PCI-SCI Protocol Translations: Applying Microprogramming Concepts to FPGAs.	FPL	1998	DBLP DOI BibTeX RDF
1	Fulvio Ananasso, Francesco Delli Priscoli	Satellite systems for personal communication networks.	Wireless Networks	1998	DBLP DOI BibTeX RDF
1	Richard Lai	A Success Story of Verifying a Real Complex Protocol.	Journal of Systems and Software	1997	DBLP BibTeX RDF
1	Richard Lai	Using PROTEAN for Verifying a Complex Protocol - A Case Study	Softw., Pract. Exper.	1995	DBLP DOI BibTeX RDF
1	Caroline Andrae, Reinhard Gotzhein, Simone Sédillot	An Evolutionary Approach to the Development of Complex Protocol Standards.	PSTV	1993	DBLP BibTeX RDF