Search results for "stateful"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Yuanjie Si, Jun Sun 0001, Yang Liu 0003, Ting Wang 0004	Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction.	ICFEM	2013	DBLP DOI BibTeX RDF
15	Róbert Szabó	A Round-Robin Bloom Filter for stateful control over event streams.	CogInfoCom	2013	DBLP DOI BibTeX RDF
15	Mourad Amziani, Tarek Melliti, Samir Tata	Formal Modeling and Evaluation of Stateful Service-Based Business Process Elasticity in the Cloud.	OTM Conferences	2013	DBLP DOI BibTeX RDF
15	Syed Adeel Ali, Partha S. Roop, Ian Warren	Stateful Web Services - Auto Modeling and Composition.	ICWS	2013	DBLP DOI BibTeX RDF
15	Christopher Mutschler, Michael Philippsen	Runtime migration of stateful event detectors with low-latency ordering constraints.	PerCom Workshops	2013	DBLP DOI BibTeX RDF
15	Carlo Brandolese, William Fornaciari, Luigi Rucco	Optimal hibernation policies for energy efficient stateful operation in high-end wireless sensor nodes.	WOWMOM	2013	DBLP DOI BibTeX RDF
15	Maha Sliti, Noureddine Boudriga	Optical stateful security filtering approach based on code words.	ISCC	2013	DBLP DOI BibTeX RDF
15	Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu	SymNet: static checking for stateful networks.	HotMiddlebox@CoNEXT	2013	DBLP DOI BibTeX RDF
15	Fariba Haddadi, Hilmi Günes Kayacik, Nur Zincir-Heywood, Malcolm I. Heywood	Malicious Automatically Generated Domain Name Detection Using Stateful-SBB.	EvoApplications	2013	DBLP DOI BibTeX RDF
15	Sang-Chul Kim, Jong-Moon Chung	Scalability analysis of stateful and stateless MANET address auto-configuration protocols.	ICTC	2013	DBLP DOI BibTeX RDF
15	André L. M. dos Santos, Joaquim Celestino Júnior, Vincent Scarlata, Anderson C. Lima, Inacio C. Alves, Davi di C. Sampaio	SACM: Stateful Access Control Model a More Detailed Approach.	CSE	2013	DBLP DOI BibTeX RDF
15	Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere	Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems.	PECCS	2013	DBLP BibTeX RDF
15	Qunzhi Zhou, Yogesh Simmhan, Viktor K. Prasanna	Towards hybrid online on-demand querying of realtime data with stateful complex event processing.	IEEE BigData	2013	DBLP DOI BibTeX RDF
15	Carlo Brandolese, William Fornaciari, Luigi Rucco	Power Management Support to Optimal Duty-Cycling in Stateful Multitasking WSN.	TrustCom/ISPA/IUCC	2013	DBLP DOI BibTeX RDF
15	Raul Castro Fernandez, Matteo Migliavacca, Evangelia Kalyvianaki, Peter R. Pietzuch	Scalable and Fault-tolerant Stateful Stream Processing.	ICCSW	2013	DBLP DOI BibTeX RDF
15	Ramon Casellas, Ricardo Martínez 0001, Raul Muñoz 0001, Lei Liu, Takehiro Tsuritani, Itsuro Morita	An integrated stateful PCE / OpenFlow controller for the control and management of flexi-grid optical networks.	OFC/NFOEC	2013	DBLP BibTeX RDF
15	Hao Xiao, Jun Sun 0001, Yang Liu 0003, Shang-Wei Lin 0001, Chengnian Sun	TzuYu: Learning stateful typestates.	ASE	2013	DBLP DOI BibTeX RDF
15	Stephen E. McLaughlin	CPS: stateful policy enforcement for control system device usage.	ACSAC	2013	DBLP DOI BibTeX RDF
15	Habib Saissi, Péter Bokor, Can Arda Muftuoglu, Neeraj Suri, Marco Serafini	Efficient Verification of Distributed Protocols Using Stateful Model Checking.	SRDS	2013	DBLP DOI BibTeX RDF
15	Robert Spanton	Stateful self-assembly.		2013	RDF
15	Naser Ezzati-Jivan, Michel R. Dagenais	A Stateful Approach to Generate Synthetic Events from Kernel Traces.	Adv. Softw. Eng.	2012	DBLP DOI BibTeX RDF
15	Lars Birkedal, Kristian Støvring, Jacob Thamsborg	A relational realizability model for higher-order stateful ADTs.	J. Log. Algebraic Methods Program.	2012	DBLP DOI BibTeX RDF
15	A. B. M. Alim Al Islam, Vijay Raghunathan	QRTT: Stateful Round Trip Time Estimation for Wireless Embedded Systems Using Q-Learning.	IEEE Embed. Syst. Lett.	2012	DBLP DOI BibTeX RDF
15	Xiaoli Jiao, Brad T. Sherman, Da Wei Huang, Robert M. Stephens, Michael W. Baseler, H. Clifford Lane, Richard A. Lempicki	DAVID-WS: a stateful web service to facilitate gene/protein list analysis.	Bioinform.	2012	DBLP DOI BibTeX RDF
15	Chamila Walgampaya, Mehmed M. Kantardzic, Brent Wenerstrom	Duplicate detection in pay-per-click streams using temporal stateful Bloom filters.	Int. J. Data Anal. Tech. Strateg.	2012	DBLP DOI BibTeX RDF
15	Nico Döttling, Daniel Kraschewski, Jörn Müller-Quade	David & Goliath Oblivious Affine Function Evaluation - Asymptotically Optimal Building Blocks for Universally Composable Two-Party Computation from a Single Untrusted Stateful Tamper-Proof Hardware Token.	IACR Cryptol. ePrint Arch.	2012	DBLP BibTeX RDF
15	Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre	FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls.	Comput. Secur.	2012	DBLP DOI BibTeX RDF
15	Deepak Garg 0001, Frank Pfenning	Stateful authorization logic - Proof theory and a case study.	J. Comput. Secur.	2012	DBLP DOI BibTeX RDF
15	Sébastien Salva, Antoine Rollet	A pragmatic approach for testing stateless and stateful Web Service Robustness.	Stud. Inform. Univ.	2012	DBLP BibTeX RDF
15	Hiwa Mahmoudi, Viktor Sverdlov, Siegfried Selberherr	MTJ-based implication logic gates and circuit architecture for large-scale spintronic stateful logic systems.	ESSDERC	2012	DBLP DOI BibTeX RDF
15	Vladimir Gajinov, Srdjan Stipic, Osman S. Unsal, Tim Harris 0001, Eduard Ayguadé, Adrián Cristal	Supporting stateful tasks in a dataflow graph.	PACT	2012	DBLP DOI BibTeX RDF
15	Scott Schneider 0001, Martin Hirzel, Bugra Gedik, Kun-Lung Wu	Auto-parallelizing stateful distributed streaming applications.	PACT	2012	DBLP DOI BibTeX RDF
15	Tammo Krueger, Hugo Gascon, Nicole Krämer 0002, Konrad Rieck	Learning stateful models for network honeypots.	AISec	2012	DBLP DOI BibTeX RDF
15	Truong Khanh Nguyen, Jun Sun 0001, Yang Liu 0003, Jin Song Dong	Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization.	ICFEM	2012	DBLP DOI BibTeX RDF
15	Yordanos Beyene, Michalis Faloutsos, Harsha V. Madhyastha	SyFi: A Systematic Approach for Estimating Stateful Firewall Performance.	PAM	2012	DBLP DOI BibTeX RDF
15	Evgeny Sergeevich Abramov, Elena Barannik, Oleg B. Makarevich	Methods of automated analysis of vendor specific implementation of stateful-filtration.	SIN	2012	DBLP DOI BibTeX RDF
15	Frédéric Cuppens, Nora Cuppens-Boulahia, Joaquín García-Alfaro, Tarik Moataz, Xavier Rimasson	Handling Stateful Firewall Anomalies.	SEC	2012	DBLP DOI BibTeX RDF
15	Sai Wu, Vibhore Kumar, Kun-Lung Wu, Beng Chin Ooi	Parallelizing stateful operators in a distributed stream processing system: how, should you and how much?	DEBS	2012	DBLP DOI BibTeX RDF
15	Nico Janssens, Xueli An, Koen Daenen, Claudio Forlivesi	Dynamic Scaling of Call-Stateful SIP Services in the Cloud.	Networking (1)	2012	DBLP DOI BibTeX RDF
15	Lingxiao Fu, Xin Peng 0001, Yijun Yu, John Mylopoulos, Wenyun Zhao	Stateful requirements monitoring for self-repairing socio-technical systems.	RE	2012	DBLP DOI BibTeX RDF
15	Yuta Maezawa, Hironori Washizaki, Shinichi Honiden	Extracting Interaction-Based Stateful Behavior in Rich Internet Applications.	CSMR	2012	DBLP DOI BibTeX RDF
15	Giuseppe De Giacomo, Claudio Di Ciccio, Paolo Felli, Yuxiao Hu 0002, Massimo Mecella	Goal-Based Composition of Stateful Services for Smart Homes.	OTM Conferences (1)	2012	DBLP DOI BibTeX RDF
15	Vladimir Andrei Olteanu, Costin Raiciu	Efficiently migrating stateful middleboxes.	SIGCOMM	2012	DBLP DOI BibTeX RDF
15	Manh Ha Nguyen, Keisuke Tanaka, Kenji Yasunaga	Leakage-Resilience of Stateless/Stateful Public-Key Encryption from Hash Proofs.	ACISP	2012	DBLP DOI BibTeX RDF
15	Adérito Baptista, Maria Cecilia Gomes, Hervé Paulino	Session-Based Dynamic Interaction Models for Stateful Web Services.	IESS	2012	DBLP DOI BibTeX RDF
15	S. Sree Vivek, S. Sharmila Deva Selvi, C. Pandu Rangan	Compact Stateful Encryption Schemes with Ciphertext Verifiability.	IWSEC	2012	DBLP DOI BibTeX RDF
15	Tzu-Chun Chen, Kohei Honda 0001	Specifying Stateful Asynchronous Properties for Distributed Programs.	CONCUR	2012	DBLP DOI BibTeX RDF
15	Sylvain Hallé, Roger Villemaire	Constraint-based invocation of stateful web services: The beep store (case study).	PESOS@ICSE	2012	DBLP DOI BibTeX RDF
15	Cosmin Arad, Jim Dowling, Seif Haridi	Message-Passing Concurrency for Scalable, Stateful, Reconfigurable Middleware.	Middleware	2012	DBLP DOI BibTeX RDF
15	Lei Wang 0111, Andreas Wombacher, Luís Ferreira Pires, Marten van Sinderen, Chihung Chi	An Illustrative Recovery Approach for Stateful Interaction Failure of Orchestrated Processes.	EDOC Workshops	2012	DBLP DOI BibTeX RDF
15	Chunhua Yang 0002, Hai-Yang Wang	An Approach to Weaving Stateful Aspects using LTS.	J. Inf. Sci. Eng.	2011	DBLP BibTeX RDF
15	Subash Dangol, S. Selvakumar 0001, M. Brindha 0001	Genuine ARP (GARP): a broadcast based stateful authentication protocol.	ACM SIGSOFT Softw. Eng. Notes	2011	DBLP DOI BibTeX RDF
15	Yi-Hsuan Feng, Nen-Fu Huang, Yen-Min Wu	Efficient and Adaptive Stateful Replication for Stream Processing Engines in High-Availability Cluster.	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF	Multiple hash functions, replication, bloom filters, high availability, adaptive method
15	Kyosun Kim, Sangho Shin, Sung-Mo Kang	Field Programmable Stateful Logic Array.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2011	DBLP DOI BibTeX RDF
15	Yi Wei 0001, Hannes Roth, Carlo A. Furia, Yu Pei 0001, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer 0001	Stateful Testing: Finding More Errors in Code and Contracts	CoRR	2011	DBLP BibTeX RDF
15	Waldemar Hummer, Philipp Leitner 0001, Schahram Dustdar	SEPL - a domain-specific language and execution environment for protocols of stateful Web services.	Distributed Parallel Databases	2011	DBLP DOI BibTeX RDF
15	Elmurod Talipov, Hyojeong Shin, Seungjae Han, Hojung Cha	A lightweight stateful address autoconfiguration for 6LoWPAN.	Wirel. Networks	2011	DBLP DOI BibTeX RDF
15	Marcelo Bagnulo, Philip Matthews, Iljitsch van Beijnum	Stateful NAT64: Network Address and Protocol Translation from IPv6 Clients to IPv4 Servers.	RFC	2011	DBLP DOI BibTeX RDF
15	Sangho Shin, Kyosun Kim, Sung-Mo Kang	Reconfigurable Stateful nor Gate for Large-Scale Logic-Array Integrations.	IEEE Trans. Circuits Syst. II Express Briefs	2011	DBLP DOI BibTeX RDF
15	Mansour Alsaleh, Paul C. van Oorschot	Network scan detection with LQS: a lightweight, quick and stateful algorithm.	AsiaCCS	2011	DBLP DOI BibTeX RDF
15	Xiaotao Chang, Yike Ma, Hubertus Franke, Kun Wang, Rui Hou, Hao Yu 0008, Terry Nelms	Optimization of stateful hardware acceleration in hybrid architectures.	DATE	2011	DBLP DOI BibTeX RDF
15	Nico Döttling, Daniel Kraschewski, Jörn Müller-Quade	Unconditional and Composable Security Using a Single Stateful Tamper-Proof Hardware Token.	TCC	2011	DBLP DOI BibTeX RDF
15	Myrto Arapinis, Eike Ritter, Mark Dermot Ryan	StatVerif: Verification of Stateful Processes.	CSF	2011	DBLP DOI BibTeX RDF
15	Nihel Ben Youssef, Adel Bouhoula	Dealing with Stateful Firewall Checking.	DICTAP (1)	2011	DBLP DOI BibTeX RDF
15	Victoria Manfredi, Mark Crovella, Jim Kurose	Understanding stateful vs stateless communication strategies for ad hoc networks.	MobiCom	2011	DBLP DOI BibTeX RDF
15	Johannes Borgström, Juan Chen 0002, Nikhil Swamy	Verifying stateful programs with substructural state and hoare types.	PLPV	2011	DBLP DOI BibTeX RDF
15	Minoru Uehara	Evaluations of Stateful NMR with Byzantine Failures.	BWCCA	2011	DBLP DOI BibTeX RDF
15	Alexandros Agapitos, Michael O'Neill 0001, Anthony Brabazon, Theodoros Theodoridis	Learning environment models in car racing using stateful Genetic Programming.	CIG	2011	DBLP DOI BibTeX RDF
15	Eric Bodden	Stateful breakpoints: a practical approach to defining parameterized runtime monitors.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
15	Daniel Lamch, Roman Wyrzykowski	An Approach for Specification and Testing of Stateful Grid Services.	PARELEC	2011	DBLP DOI BibTeX RDF
15	Alexandros Agapitos, Michael O'Neill 0001, Anthony Brabazon	Stateful program representations for evolving technical trading rules.	GECCO (Companion)	2011	DBLP DOI BibTeX RDF
15	Kyosun Kim, Sangho Shin, Sung-Mo Kang	Stateful logic pipeline architecture.	ISCAS	2011	DBLP DOI BibTeX RDF
15	Joonsang Baek, Cheng-Kang Chu, Jianying Zhou 0001	On Shortening Ciphertexts: New Constructions for Compact Public Key and Stateful Encryption Schemes.	CT-RSA	2011	DBLP DOI BibTeX RDF
15	Yi Wei 0001, Hannes Roth, Carlo A. Furia, Yu Pei 0001, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer 0001	Stateful testing: Finding more errors in code and contracts.	ASE	2011	DBLP DOI BibTeX RDF
15	Katsuyoshi Matsumoto, Minoru Uehara, Hideki Mori	Evaluations of Resettable Stateful NMR.	AINA Workshops	2011	DBLP DOI BibTeX RDF
15	André L. M. dos Santos, Vincent Scarlata, Anderson C. Lima, Inacio C. Alves, Davi di C. Sampaio	SACM: Stateful Access Control Model.	LCN	2011	DBLP DOI BibTeX RDF
15	Adam Eck, Leen-Kiat Soh	Agent sensing with stateful resources.	AAMAS	2011	DBLP BibTeX RDF
15	Marek Laskowski	An Agent Based Decision Support Framework for Healthcare Policy, Augmented with Stateful Genetic Programming.		2011	RDF
15	Dionysios Logothetis	Architectures for stateful data-intensive analytics.		2011	RDF
15	Ajay Prasad, Saurabh Singh Verma, Ashok Kumar Sharma	Certification Authority Monitored Multilevel and Stateful Policy Based Authorization in Services Oriented Grids	CoRR	2010	DBLP BibTeX RDF
15	Julien Borghetti, Gregory S. Snider, Philip Kuekes, J. Joshua Yang, Duncan R. Stewart, R. Stanley Williams	'Memristive' switches enable 'stateful' logic operations via material implication.	Nat.	2010	DBLP DOI BibTeX RDF
15	Richard H. Carver, Jeff Yu Lei	A Stateful Approach to Testing Monitors in Multithreaded Programs.	HASE	2010	DBLP DOI BibTeX RDF	monitor, concurrent programming, reachability testing
15	Katsuyoshi Matsumoto, Minoru Uehara, Hideki Mori	Evaluating the Fault Tolerance of Stateful TMR.	NBiS	2010	DBLP DOI BibTeX RDF
15	Juan Du 0006, Xiaohui Gu, Ting Yu 0001	On verifying stateful dataflow processing services in large-scale cloud systems.	CCS	2010	DBLP DOI BibTeX RDF
15	Casey Klein, Matthew Flatt, Robert Bruce Findler	Random testing for higher-order, stateful programs.	OOPSLA	2010	DBLP DOI BibTeX RDF
15	Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal	A relational modal logic for higher-order stateful ADTs.	POPL	2010	DBLP DOI BibTeX RDF	local state, plotkin-abadi logic, modal logic, abstract data types, separation logic, step-indexed logical relations
15	Nikhil Swamy, Juan Chen 0002, Ravi Chugh	Enforcing Stateful Authorization and Information Flow Policies in Fine.	ESOP	2010	DBLP DOI BibTeX RDF
15	Jesse A. Tov, Riccardo Pucella	Stateful Contracts for Affine Types.	ESOP	2010	DBLP DOI BibTeX RDF
15	Guoquan Wu, Jun Wei 0001, Chunyang Ye, Hua Zhong 0001, Tao Huang 0001	Detecting Data Inconsistency Failure of Composite Web Services Through Parametric Stateful Aspect.	ICWS	2010	DBLP DOI BibTeX RDF	Aspect-oriented Programming, Runtime monitoring, WS-BPEL
15	Deepak Garg 0001, Frank Pfenning	Stateful Authorization Logic: - Proof Theory and a Case Study.	STM	2010	DBLP DOI BibTeX RDF
15	Faisal Khan, Nicholas Hosein, Scott Vernon, Soheil Ghiasi	BURAQ: A Dynamically Reconfigurable System for Stateful Measurement of Network Traffic.	FCCM	2010	DBLP DOI BibTeX RDF
15	Moritz Strübe, Rüdiger Kapitza, Klaus Stengel, Michael Daum 0001, Falko Dressler	Stateful Mobile Modules for Sensor Networks.	DCOSS	2010	DBLP DOI BibTeX RDF
15	Dionysios Logothetis, Christopher Olston, Benjamin C. Reed, Kevin C. Webb 0001, Ken Yocum	Stateful bulk processing for incremental analytics.	SoCC	2010	DBLP DOI BibTeX RDF
15	Peter Bodík, Armando Fox, Michael J. Franklin, Michael I. Jordan, David A. Patterson 0001	Characterizing, modeling, and generating workload spikes for stateful services.	SoCC	2010	DBLP DOI BibTeX RDF
15	Andreas Reinhardt 0001, Parag S. Mogre, Tobias Koenig, Ralf Steinmetz	SFHC.KOM: Stateful header compression for wireless sensor networks.	LCN	2010	DBLP DOI BibTeX RDF
15	Matteo Miraz	Evolutionary testing of stateful systems.		2010	RDF
15	Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch	Behaviour Protocols for Interacting Stateful Components.	FACS@FMWeek	2009	DBLP DOI BibTeX RDF
15	Ha-Na Yun, Sung-Chan Hong, Hyung-Woo Lee	Stateful Virtual Proxy for SIP Message Flooding Attack Detection.	KSII Trans. Internet Inf. Syst.	2009	DBLP DOI BibTeX RDF
15	Abdelkader Lahmadi, Olivier Festor	SecSip: A Stateful Firewall for SIP-based Networks	CoRR	2009	DBLP BibTeX RDF
15	Abdelkader Lahmadi, Olivier Festor	SecSip: A stateful firewall for SIP-based networks.	Integrated Network Management	2009	DBLP DOI BibTeX RDF