Search results for "stateful"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Xiaoxiao Wang, Robin Tan, Marek A. Perkowski	Synthesis of memristive circuits based on stateful IMPLY gates using an evolutionary algorithm with a correction function.	NANOARCH	2016	DBLP DOI BibTeX RDF
15	Yufan Yang, Xinli Huang, Shang Cheng, Shiyun Chen, Peijin Cong	SHSA: A Method of Network Verification with Stateful Header Space Analysis.	ICPADS	2016	DBLP DOI BibTeX RDF
15	Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham	Some Complexity Results for Stateful Network Verification.	TACAS	2016	DBLP DOI BibTeX RDF
15	Zhihao Huang, Hui Li, Xin Li, Wei He	SS-dedup: A high throughput stateful data routing algorithm for cluster deduplication system.	IEEE BigData	2016	DBLP DOI BibTeX RDF
15	Maxime Puys, Jean-Louis Roch, Marie-Laure Potet	Domain Specific Stateful Filtering with Worst-Case Bandwidth.	CRITIS	2016	DBLP DOI BibTeX RDF
15	Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi	Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion.	HotNets	2016	DBLP DOI BibTeX RDF
15	BooJoong Kang, Kieran McLaughlin, Sakir Sezer	Towards A Stateful Analysis Framework for Smart Grid Network Intrusion Detection.	ICS-CSR	2016	DBLP BibTeX RDF
15	Andrea Gallidabino	Migrating and Pairing Recursive Stateful Components Between Multiple Devices with Liquid.js for Polymer.	ICWE	2016	DBLP DOI BibTeX RDF
15	Ramon Casellas, Ricard Vilalta, Ricardo Martínez 0001, Raul Muñoz 0001	Active stateful PCE high-availability for the control of flexi-grid networks with network function virtualization enabled replication.	OFC	2016	DBLP BibTeX RDF
15	Valeria Cardellini, Matteo Nardelli 0001, Dario Luzi	Elastic stateful stream processing in storm.	HPCS	2016	DBLP DOI BibTeX RDF
15	Colin Boyd, Britta Hale, Stig Frode Mjølsnes, Douglas Stebila	From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS.	CT-RSA	2016	DBLP DOI BibTeX RDF
15	Matthieu Caneill, Ahmed El-Rheddane, Vincent Leroy 0001, Noël De Palma	Locality-Aware Routing in Stateful Streaming Applications.	Middleware	2016	DBLP BibTeX RDF
15	Adam Czubak, Marcin Szymanek	Algorithmic Complexity Vulnerability Analysis of a Stateful Firewall.	ISAT (2)	2016	DBLP DOI BibTeX RDF
15	Raul Castro Fernandez	Stateful data-parallel processing.		2016	RDF
15	Tarmo Uustalu	Stateful Runners of Effectful Computations.	MFPS	2015	DBLP DOI BibTeX RDF
15	Jianwei Ma, Wanyu Liu, Tristan Glatard	A stateful storage availability and entropy model to control storage distribution on grids.	Concurr. Comput. Pract. Exp.	2015	DBLP DOI BibTeX RDF
15	Amit Munjal, Yatindra Nath Singh	Review of stateful address auto configuration protocols in MANETs.	Ad Hoc Networks	2015	DBLP DOI BibTeX RDF
15	Omar Rafik Merad Boudia, Sidi Mohammed Senouci, Mohammed Feham	A novel secure aggregation scheme for wireless sensor networks using stateful public key cryptography.	Ad Hoc Networks	2015	DBLP DOI BibTeX RDF
15	Pravin Mane, Nishil Talati, Ameya Riswadkar, Ramesh Raghu, C. K. Ramesha	Stateful-NOR based reconfigurable architecture for logic implementation.	Microelectron. J.	2015	DBLP DOI BibTeX RDF
15	Gina C. Adam, Brian D. Hoskins, Mirko Prezioso, Dmitri B. Strukov	Three-Dimensional Stateful Material Implication Logic.	CoRR	2015	DBLP BibTeX RDF
15	Seyed Kaveh Fayaz, Yoshiaki Tobioka, Sagar Chaki, Vyas Sekar	Scalable Testing of Context-Dependent Policies over Stateful Data Planes with Armstrong.	CoRR	2015	DBLP BibTeX RDF
15	Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg 0002, Jennifer Rexford, David Walker 0001	SNAP: Stateful Network-Wide Abstractions for Packet Processing.	CoRR	2015	DBLP BibTeX RDF
15	Cesar Ghali, Gene Tsudik, Ersin Uzun, Christopher A. Wood	Living in a PIT-less World: A Case Against Stateful Forwarding in Content-Centric Networking.	CoRR	2015	DBLP BibTeX RDF
15	Carmelo Cascone, Luca Pollini, Davide Sanvito, Antonio Capone	Traffic Management Applications for Stateful SDN Data Plane.	CoRR	2015	DBLP BibTeX RDF
15	Filippo Cugini, Francesco Fresi, Francesco Paolucci, Gianluca Meloni, Nicola Sambo, Alessio Giorgetti, Tommaso Foggi, Luca Potì, Piero Castoldi	Active Stateful PCE With Hitless LDPC Code Adaptation [Invited].	JOCN	2015	DBLP DOI BibTeX RDF
15	Ramon Casellas, Raúl Muñoz 0001, Ricardo Martínez 0001, Ricard Vilalta, Lei Liu, Takehiro Tsuritani, Itsuro Morita, Víctor López 0001, Óscar González de Dios, Juan Pedro Fernández-Palacios	SDN Orchestration of OpenFlow and GMPLS Flexi-Grid Networks With a Stateful Hierarchical PCE [Invited].	JOCN	2015	DBLP DOI BibTeX RDF
15	Ole Troan, Bernie Volz, Marcin Siodelski	Issues and Recommendations with Multiple Stateful DHCPv6 Options.	RFC	2015	DBLP DOI BibTeX RDF
15	Chun-Ying Huang, Ying-Dar Lin, Peng-Yu Liao, Yuan-Cheng Lai	Stateful traffic replay for web application proxies.	Secur. Commun. Networks	2015	DBLP DOI BibTeX RDF
15	Felipe S. Marranghello, Vinicius Callegaro, Mayler G. A. Martins, André Inácio Reis, Renato P. Ribas	Factored Forms for Memristive Material Implication Stateful Logic.	IEEE J. Emerg. Sel. Topics Circuits Syst.	2015	DBLP DOI BibTeX RDF
15	Colin Boyd, Britta Hale, Stig Frode Mjølsnes, Douglas Stebila	From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
15	Paul Leger, Éric Tanter, Hiroaki Fukuda	An expressive stateful aspect language.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
15	Felix Sutton, Marco Zimmerling, Reto Da Forno, Roman Lim, Tonio Gsell, Georgia Giannopoulou, Federico Ferrari, Jan Beutel, Lothar Thiele	Bolt: A Stateful Processor Interconnect.	SenSys	2015	DBLP DOI BibTeX RDF
15	Yingjun Wu, Kian-Lee Tan	ChronoStream: Elastic stateful stream computation in the cloud.	ICDE	2015	DBLP DOI BibTeX RDF
15	Salvatore Pontarelli, Marco Bonola, Giuseppe Bianchi 0001, Antonio Capone, Carmelo Cascone	Stateful OpenFlow: Hardware proof of concept.	HPSR	2015	DBLP DOI BibTeX RDF
15	S. Sree Vivek	Stateful Certificateless Public Key Encryption with Application in Public Cloud.	SECITC	2015	DBLP DOI BibTeX RDF
15	Roberto Bruni, Hernán C. Melgratti, Ugo Montanari	A Normal Form for Stateful Connectors.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
15	Nadia Gámez, Joyce El Haddad, Lidia Fuentes	SPL-TQSSS: A Software Product Line Approach for Stateful Service Selection.	ICWS	2015	DBLP DOI BibTeX RDF
15	Muhammad Asim Jamshed, Donghwi Kim, YoungGyoun Moon, Dongsu Han, KyoungSoo Park	A Case for a Stateful Middlebox Networking Stack.	SIGCOMM	2015	DBLP DOI BibTeX RDF
15	Xiang Pan, Yinzhi Cao, Yan Chen 0004	I Do Not Know What You Visited Last Summer: Protecting users from stateful third-party web tracking with TrackingFree browser.	NDSS	2015	DBLP BibTeX RDF
15	Hugo Gascon, Christian Wressnegger, Fabian Yamaguchi, Daniel Arp, Konrad Rieck	Pulsar: Stateful Black-Box Fuzzing of Proprietary Network Protocols.	SecureComm	2015	DBLP DOI BibTeX RDF
15	Laura Galluccio, Sebastiano Milardo, Giacomo Morabito, Sergio Palazzo	SDN-WISE: Design, prototyping and experimentation of a stateful SDN solution for WIreless SEnsor networks.	INFOCOM	2015	DBLP DOI BibTeX RDF
15	Felipe S. Marranghello, Vinicius Callegaro, André Inácio Reis, Renato P. Ribas	SOP based logic synthesis for memristive IMPLY stateful logic.	ICCD	2015	DBLP DOI BibTeX RDF
15	Felipe S. Marranghello, Vinicius Callegaro, Mayler G. A. Martins, André Inácio Reis, Renato P. Ribas	Improved logic synthesis for memristive stateful logic using multi-memristor implication.	ISCAS	2015	DBLP DOI BibTeX RDF
15	Shuyong Zhu, Jun Bi, Chen Sun 0005, Chenhui Wu, Hongxin Hu	SDPA: Enhancing Stateful Forwarding for Software-Defined Networking.	ICNP	2015	DBLP DOI BibTeX RDF
15	Rim Abid, Gwen Salaün, Noel De Palma, Soguy Mak Karé Gueye	Asynchronous Coordination of Stateful Autonomic Managers in the Cloud.	FACS	2015	DBLP DOI BibTeX RDF
15	Nico Döttling, Daniel Kraschewski, Jörn Müller-Quade, Tobias Nilges	From Stateful Hardware to Resettable Hardware Using Symmetric Assumptions.	ProvSec	2015	DBLP DOI BibTeX RDF
15	Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura 0001, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata	Model-Based Testing of Stateful APIs with Modbat.	ASE	2015	DBLP DOI BibTeX RDF
15	Vladimir Herdt, Hoang Minh Le 0001, Rolf Drechsler	Verifying SystemC using stateful symbolic simulation.	DAC	2015	DBLP DOI BibTeX RDF
15	Carmelo Cascone, Luca Pollini, Davide Sanvito, Antonio Capone	Traffic Management Applications for Stateful SDN Data Plane.	EWSDN	2015	DBLP DOI BibTeX RDF
15	Ramon Casellas, Ricard Vilalta, Raul Muñoz 0001, Ricardo Martínez 0001	Dynamic and virtualized stackable active stateful PCEs with BGP-LS for optical network virtualization and multi tenancy.	ECOC	2015	DBLP DOI BibTeX RDF
15	Lucia Happe, Barbora Buhnova, Ralf H. Reussner	Stateful component-based performance models.	Softw. Syst. Model.	2014	DBLP DOI BibTeX RDF
15	Giuseppe Bianchi 0001, Marco Bonola, Antonio Capone, Carmelo Cascone	OpenState: programming platform-independent stateful openflow applications inside the switch.	Comput. Commun. Rev.	2014	DBLP DOI BibTeX RDF
15	Eero Lehtonen, Jari Tissari, Jussi H. Poikonen, Mika Laiho, Lauri Koskinen	A cellular computing architecture for parallel memristive stateful logic.	Microelectron. J.	2014	DBLP DOI BibTeX RDF
15	Uriel Feige, Tomer Koren, Moshe Tennenholtz	Chasing Ghosts: Competing with Stateful Policies.	CoRR	2014	DBLP BibTeX RDF
15	Cornelius Diekmann, Lars Hupel, Georg Carle	Directed Security Policies: A Stateful Network Implementation.	ESSS	2014	DBLP DOI BibTeX RDF
15	Li Li 0044, Jun Pang 0001, Yang Liu 0003, Jun Sun 0001, Jin Song Dong	Stateful Security Protocol Verification.	CoRR	2014	DBLP BibTeX RDF
15	Myrto Arapinis, Joshua Phillips, Eike Ritter, Mark Dermot Ryan	StatVerif: Verification of stateful processes.	J. Comput. Secur.	2014	DBLP DOI BibTeX RDF
15	Magnus O. Myreen, Scott Owens	Proof-producing translation of higher-order logic into pure and stateful ML.	J. Funct. Program.	2014	DBLP DOI BibTeX RDF
15	Bugra Gedik	Partitioning functions for stateful data parallelism in stream processing.	VLDB J.	2014	DBLP DOI BibTeX RDF
15	Yiming Wu, Davood Babazadeh, Lars Nordström	Stateful Data Delivery Service for Wide Area Monitoring and Control Applications.	DSN	2014	DBLP DOI BibTeX RDF
15	Lorenzo De Carli, Robin Sommer, Somesh Jha	Beyond Pattern Matching: A Concurrency Model for Stateful Deep Packet Inspection.	CCS	2014	DBLP DOI BibTeX RDF
15	Arturo Mayoral, Ricard Vilalta, Raul Muñoz 0001, Ramon Casellas, Ricardo Martínez 0001	Experimental validation of automatic lightpath establishment integrating OpenDayLight SDN controller and Active Stateful PCE within the ADRENALINE testbed.	ICTON	2014	DBLP DOI BibTeX RDF
15	Raul Castro Fernandez, Matthias Weidlich 0001, Peter R. Pietzuch, Avigdor Gal	Scalable stateful stream processing for smart grids.	DEBS	2014	DBLP DOI BibTeX RDF
15	Myrto Arapinis, Jia Liu 0003, Eike Ritter, Mark Ryan 0001	Stateful Applied Pi Calculus.	POST	2014	DBLP DOI BibTeX RDF
15	Yuanfan Yang, Jimson Mathew, Dhiraj K. Pradhan, Marco Ottavi, Salvatore Pontarelli	Complementary resistive switch based stateful logic operations using material implication.	DATE	2014	DBLP DOI BibTeX RDF
15	Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens, Tamara Rezk	Stateful Declassification Policies for Event-Driven Programs.	CSF	2014	DBLP DOI BibTeX RDF
15	Uriel Feige, Tomer Koren, Moshe Tennenholtz	Chasing Ghosts: Competing with Stateful Policies.	FOCS	2014	DBLP DOI BibTeX RDF
15	Shuyong Zhu, Jun Bi, Chen Sun 0005	SFA: Stateful Forwarding Abstraction in SDN Data Plane.	ONS	2014	DBLP BibTeX RDF
15	Yusuke Takano, Ashiq Khan, Motoshi Tamura, Shigeru Iwashina, Takashi Shimizu	Virtualization-Based Scaling Methods for Stateful Cellular Network Nodes Using Elastic Core Architecture.	CloudCom	2014	DBLP DOI BibTeX RDF
15	Seyed Kaveh Fayaz, Vyas Sekar	Testing stateful and dynamic data planes with FlowTest.	HotSDN	2014	DBLP DOI BibTeX RDF
15	Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Andrea Saracino	Stateful Usage Control for Android Mobile Devices.	STM	2014	DBLP DOI BibTeX RDF
15	Giorgos Vasiliadis, Lazaros Koromilas, Michalis Polychronakis, Sotiris Ioannidis	GASPP: A GPU-Accelerated Stateful Packet Processing Framework.	USENIX Annual Technical Conference	2014	DBLP BibTeX RDF
15	Thawatchai Chomsiri, Xiangjian He, Priyadarsi Nanda, Zhiyuan Tan 0001	A Stateful Mechanism for the Tree-Rule Firewall.	TrustCom	2014	DBLP DOI BibTeX RDF
15	Filippo Cugini, Francesco Paolucci, Francesco Fresi, Gianluca Meloni, Gianluca Berrettini, Nicola Sambo, Alessio Giorgetti, Tommaso Foggi, Luca Potì, Piero Castoldi	Benefits of active stateful PCE for flexgrid networks.	OFC	2014	DBLP DOI BibTeX RDF
15	Ramon Casellas, Raul Muñoz 0001, Ricardo Martínez 0001, Ricard Vilalta, Lei Liu, Takehiro Tsuritani, Itsuro Morita, Víctor López 0001, Óscar González de Dios, Juan P. Fernández Palacios	SDN based Provisioning orchestration of OpenFlow/GMPLS flexi-grid networks with a stateful hierarchical PCE.	OFC	2014	DBLP DOI BibTeX RDF
15	Jake Collings, Jun Liu	An OpenFlow-Based Prototype of SDN-Oriented Stateful Hardware Firewalls.	ICNP	2014	DBLP DOI BibTeX RDF
15	George Louthan, Michael Haney, Phoebe Hardwicke, Peter J. Hawrylak, John Hale	Hybrid extensions for stateful attack graphs.	CISR	2014	DBLP DOI BibTeX RDF
15	Aliaksandr Lazouski, Gaetano Mancini, Fabio Martinelli, Paolo Mori	Architecture, Workflows, and Prototype for Stateful Data Usage Control in Cloud.	IEEE Symposium on Security and Privacy Workshops	2014	DBLP DOI BibTeX RDF
15	Yihuan Xing, Ford-Long Wong, Akash Kumar 0001	Lightweight Bare-Metal Stateful Firewall.	PRDC	2014	DBLP DOI BibTeX RDF
15	Hiwa Mahmoudi, Thomas Windbacher, Viktor Sverdlov, Siegfried Selberherr	Compact modeling of memristive IMP gates for reliable stateful logic design.	MIXDES	2014	DBLP DOI BibTeX RDF
15	Robin Sommer, Matthias Vallentin, Lorenzo De Carli, Vern Paxson	HILTI: an Abstract Execution Environment for Deep, Stateful Network Traffic Analysis.	Internet Measurement Conference	2014	DBLP DOI BibTeX RDF
15	José Antonio Mateo, Valentín Valero Ruiz, Hermenegilda Macià, Gregorio Díaz 0001	A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF.	SEFM Workshops	2014	DBLP DOI BibTeX RDF
15	Ricardo Martínez 0001, Lluis Gifre, Ramon Casellas, Luis Velasco, Raul Muñoz 0001, Ricard Vilalta	Experimental validation of active frontend - Backend stateful PCE operations in flexgrid optical network re-optimization.	ECOC	2014	DBLP DOI BibTeX RDF
15	Wangyang Liu, Xiaohui Chen, Nan Hua, Xiaoping Zheng, Bingkun Zhou	A distributed stateful PCE-based architecture for providing end-to-end connections in multi-domain multi-vendor optical networks.	ECOC	2014	DBLP DOI BibTeX RDF
15	Arturo Mayoral, Ricard Vilalta, Raúl Muñoz 0001, Ramon Casellas, Ricardo Martínez 0001, F. Javier Vilchez	Integrated IT and network orchestration using OpenStack, OpenDaylight and active stateful PCE for intra and inter data center connectivity.	ECOC	2014	DBLP DOI BibTeX RDF
15	Giorgos Vasiliadis	Accelerating stateful network packet processing using graphics hardware		2014	RDF
15	Adam Eck, Leen-Kiat Soh	Observer effect from stateful resources in agent sensing.	Auton. Agents Multi Agent Syst.	2013	DBLP DOI BibTeX RDF
15	Dongwon Seo, Heejo Lee, Ejovi Nuwere	SIPAD: SIP-VoIP Anomaly Detection using a Stateful Rule Tree.	Comput. Commun.	2013	DBLP DOI BibTeX RDF
15	Cheng Yi, Alexander Afanasyev, Ilya Moiseenko, Lan Wang, Beichuan Zhang 0001, Lixia Zhang 0001	A case for stateful forwarding plane.	Comput. Commun.	2013	DBLP DOI BibTeX RDF
15	Manh Ha Nguyen, Kenji Yasunaga, Keisuke Tanaka	Leakage-Resilience of Stateless/Stateful Public-Key Encryption from Hash Proofs.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2013	DBLP DOI BibTeX RDF
15	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Yan Liu 0012, Ling Shi, Étienne André	Modeling and verifying hierarchical real-time systems using stateful timed CSP.	ACM Trans. Softw. Eng. Methodol.	2013	DBLP DOI BibTeX RDF
15	Ramon Casellas, Ricardo Martínez 0001, Raul Muñoz 0001, Ricard Vilalta, Lei Liu, Takehiro Tsuritani, Itsuro Morita	Control and Management of Flexi-grid Optical Networks With an Integrated Stateful Path Computation Element and OpenFlow Controller [Invited].	JOCN	2013	DBLP DOI BibTeX RDF
15	Reinaldo Penno, Tarun Saxena, Mohamed Boucadair, Senthil Sivakumar	Analysis of Stateful 64 Translation.	RFC	2013	DBLP DOI BibTeX RDF
15	Masataka Mawatari, Masanobu Kawashima, Cameron Byrne	464XLAT: Combination of Stateful and Stateless Translation.	RFC	2013	DBLP DOI BibTeX RDF
15	Jonathan T. Trostle	Chosen Ciphertext Secure (CCS): Stateful Symmetric Key CCA Encryption with Minimal Ciphertext Expansion.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
15	Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Salvador Martínez Perez, Jordi Cabot	Management of stateful firewall misconfiguration.	Comput. Secur.	2013	DBLP DOI BibTeX RDF
15	Jayaraj Poroor, Bharat Jayaraman	Modeling mobile stateful channels in ππZ.	Sci. Comput. Program.	2013	DBLP DOI BibTeX RDF
15	Xuan Zhu, Xuejun Yang, Chunqing Wu, Nong Xiao, Junjie Wu 0003, Xun Yi	Performing Stateful Logic on Memristor Memory.	IEEE Trans. Circuits Syst. II Express Briefs	2013	DBLP DOI BibTeX RDF
15	Joonsang Baek, Quang Hieu Vu, Abdulhadi Shoufan, Andrew Jones 0002, Duncan S. Wong	Stateful Public-Key Encryption Schemes Forward-Secure Against State Exposure.	Comput. J.	2013	DBLP DOI BibTeX RDF
15	Pablo Trinidad, Antonio Ruiz Cortés, David Benavides 0001	Automated Analysis of Stateful Feature Models.	Seminal Contributions to Information Systems Engineering	2013	DBLP DOI BibTeX RDF