Search results for "PROTEAN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
141	Bard Bloom, Allan Cheng, Ashvin Dsouza	Using a Protean Language to Enhance Expressiveness in Specification.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	model checking, verification, Formal methods, specification, process algebra, structured operational semantics
132	Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham	PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols.	IEEE Trans. Software Eng.	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
96	Richard Lai 0001, Ken R. Parker, Tharam S. Dillon	On Using Protean To Verify ISO FTAM Protocol.	CAV	1990	DBLP DOI BibTeX RDF
90	Bard Bloom	Structured Operational Semantics as a Specification Language.	POPL	1995	DBLP DOI BibTeX RDF
73	Pawel Pralat	Protean Graphs with a Variety of Ranking Schemes.	COCOA	2008	DBLP DOI BibTeX RDF
45	Geoffrey R. Wheeler, Michael C. Wilbur-Ham, Jonathan Billington, J. A. Gilmour	Protocol analysis using numerical Petri nets.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
28	Abu Bakar, Rishabh Goel, Jasper de Winkel, Jason Huang, Saad Ahmed, Bashima Islam, Przemyslaw Pawelczak, Kasim Sinan Yildirim, Josiah D. Hester	Protean: Adaptive Hardware-Accelerated Intermittent Computing.	GetMobile Mob. Comput. Commun.	2023	DBLP DOI BibTeX RDF
28	Muhammad Hassan 0004, Chang Hyun Park 0001, David Black-Schaffer	Protean: Resource-efficient Instruction Prefetching.	MEMSYS	2023	DBLP DOI BibTeX RDF
28	Hamidreza Almasi, Rohan Vardekar, Balajee Vamanan	Protean: Adaptive Management of Shared-Memory in Datacenter Switches.	INFOCOM	2023	DBLP DOI BibTeX RDF
28	Iago Bonnici, Abdelkader Gouaïch, Fabien Michel	Input addition and deletion in reinforcement: towards protean learning.	Auton. Agents Multi Agent Syst.	2022	DBLP DOI BibTeX RDF
28	Abu Bakar, Rishabh Goel, Jasper de Winkel, Jason Huang, Saad Ahmed, Bashima Islam, Przemyslaw Pawelczak, Kasim Sinan Yildirim, Josiah D. Hester	Protean: An Energy-Efficient and Heterogeneous Platform for Adaptive and Hardware-Accelerated Battery-Free Computing.	SenSys	2022	DBLP DOI BibTeX RDF
28	Iago Bonnici	Towards Protean Learning: Accommodating Signature Changes in Artificial Agents. (Vers un apprentissage protéiforme : accommoder les changements de signature des agents artificiels).		2021	RDF
28	Stephan Krenn, Henrich C. Pöhls, Kai Samelin, Daniel Slamanig	Fully invisible protean signatures schemes.	IET Inf. Secur.	2020	DBLP DOI BibTeX RDF
28	Ori Hadary, Luke Marshall, Ishai Menache, Abhisek Pan, Esaias E. Greeff, David Dion, Star Dorminey, Shailesh Joshi, Yang Chen, Mark Russinovich, Thomas Moscibroda	Protean: VM Allocation Service at Scale.	OSDI	2020	DBLP BibTeX RDF
28	Shiju Sathyadevan, Krishnashree Achuthan, Robin Doss, Lei Pan 0002	Protean Authentication Scheme - A Time-Bound Dynamic KeyGen Authentication Technique for IoT Edge Nodes in Outdoor Deployments.	IEEE Access	2019	DBLP DOI BibTeX RDF
28	Stephan Krenn, Henrich C. Pöhls, Kai Samelin, Daniel Slamanig	Fully Invisible Protean Signatures Schemes.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
28	Stephan Krenn, Henrich C. Pöhls, Kai Samelin, Daniel Slamanig	Protean Signature Schemes.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
28	Stephan Krenn, Henrich C. Pöhls, Kai Samelin, Daniel Slamanig	Protean Signature Schemes.	CANS	2018	DBLP DOI BibTeX RDF
28	Zbynek Slajchrt	Object Morphology - A Protean Generalization of Object-Oriented Paradigm.	BIR Workshops	2016	DBLP BibTeX RDF
28	Michael A. Laurenzano, Yunqi Zhang, Lingjia Tang, Jason Mars	Protean Code: Achieving Near-Free Online Code Transformations for Warehouse Scale Computers.	MICRO	2014	DBLP DOI BibTeX RDF
28	Kensy Cooperrider, Rafael E. Núñez, James D. Slotta	The Protean Pointing Gesture: Variation in a Building Block of Human Communication.	CogSci	2014	DBLP BibTeX RDF
28	Anthony Bonato, Jeannette C. M. Janssen, Pawel Pralat	Geometric Protean Graphs.	Internet Math.	2012	DBLP DOI BibTeX RDF
28	Anthony Bonato, Jeannette C. M. Janssen, Pawel Pralat	Geometric protean graphs	CoRR	2011	DBLP BibTeX RDF
28	Anthony Bonato, Jeannette C. M. Janssen, Pawel Pralat	The Geometric Protean Model for On-Line Social Networks.	WAW	2010	DBLP DOI BibTeX RDF
28	Jeannette C. M. Janssen, Pawel Pralat	Protean graphs with a variety of ranking schemes.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
28	Pawel Pralat	The diameter of protean graphs.	Discret. Math.	2008	DBLP DOI BibTeX RDF
28	Pawel Pralat, Nicholas C. Wormald	Growing Protean Graphs.	Internet Math.	2007	DBLP DOI BibTeX RDF
28	Paul Frenger	GRANNIE 2: A Ubiquitous, Protean Robotic Guardian Angel.	CASE	2007	DBLP DOI BibTeX RDF
28	Tomasz Luczak 0001, Pawel Pralat	Protean Graphs.	Internet Math.	2006	DBLP DOI BibTeX RDF
28	Sungwon Ha	The Protean Active Router Architecture and a Scalable Router Mechanism for Load Adaptive Fair Packet Dropping		2000	RDF
28	Raghupathy Sivakumar, Narayanan Venkitaraman, Vaduvur Bharghavan	The Protean Programmable Network Architecture: Design and Initial Experience.	IWAN	1999	DBLP DOI BibTeX RDF
28	Richard Lai 0001	Extending PROTEAN with the Partitioning Method.	Aust. Comput. J.	1996	DBLP BibTeX RDF
28	Richard Lai 0001	Using PROTEAN for Verifying a Complex Protocol - A Case Study	Softw. Pract. Exp.	1995	DBLP DOI BibTeX RDF
28	Barbara Hayes-Roth, Bruce G. Buchanan, Olivier Lichtarge, Mike Hewitt, Russ B. Altman, James F. Brinkley, Craig Cornelius, Bruce S. Duncan, Oleg Jardetzky	PROTEAN: Deriving Protein Structure from Constraints.	AAAI	1986	DBLP BibTeX RDF
23	W. Q. Cheng, Jian Gong, Wei Ding 0001	Identifying BT-like P2P Traffic by the Discreteness of Remote Hosts.	LCN	2007	DBLP DOI BibTeX RDF	concurrent flows, discreteness of remote hosts, P2P, traffic characteristics, traffic identification
23	Damien Joseph, Soon Ang, Sandra Slaughter	Identifying the prototypical career paths of IT professionals: a sequence and cluster analysis.	CPR	2005	DBLP DOI BibTeX RDF	sequence analysis, longitudinal, IT profession, career paths
23	D. J. Floreani, Jonathan Billington, A. J. Dadej	Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Gateway Architecture, Coloured Petri Nets, Protocol Modelling
23	Cheng Che Chen, Jaswinder Pal Singh, William B. Poland, Russ B. Altman	Parallel protein structure determination from uncertain data.	SC	1994	DBLP DOI BibTeX RDF