Search results for "stateful"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Katsuyoshi Matsumoto, Minoru Uehara, Hideki Mori	Evaluation of Stateful Reliability Counter in Small-World Cellular Neural Networks.	NBiS	2009	DBLP DOI BibTeX RDF
15	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang 0007	Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction.	ICFEM	2009	DBLP DOI BibTeX RDF
15	Zhenyu Liu, Weijun Li, Yue Lai	Application of Bloom Filter for GTP Stateful Inspection in Network Processor.	IAS	2009	DBLP DOI BibTeX RDF
15	Sven Stork, Paulo Marques, Jonathan Aldrich	Concurrency by default: using permissions to express dataflow in stateful programs.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	access permissions, concurrency, programming language, dataflow
15	Li Li 0001, Wu Chou	A Combinatorial Approach to Multi-session Testing of Stateful Web Services.	SERVICES I	2009	DBLP DOI BibTeX RDF
15	Mohammad Ashiqur Rahaman, Yves Roudier, Andreas Schaad	Document-Based Dynamic Workflows: Towards Flexible and Stateful Services.	SERVICES II	2009	DBLP DOI BibTeX RDF
15	Johann Eder, Juergen Mangler, Enrico Mussi, Barbara Pernici	Using Stateful Activities to Facilitate Monitoring and Repair in Workflow Choreographies.	SERVICES I	2009	DBLP DOI BibTeX RDF
15	Yongdong Wu, Feng Bao 0001, Ying Qiu	Tracing Stateful Pirate Decoders.	ICC	2009	DBLP DOI BibTeX RDF
15	Hancheng Lu, Feng Wu 0001, Chang Wen Chen	Stateful Scheduling with Network Coding for Roadside-to-Vehicle Communication.	ICC	2009	DBLP DOI BibTeX RDF
15	Michael Brock, Andrzej M. Goscinski	Offering clusters from clouds using WSDL and stateful web services.	APSCC	2009	DBLP DOI BibTeX RDF
15	Ausama Yousef, Philipp Driess, Ali Diab 0001, Andreas Mitschele-Thiel	Comparative analysis of LHA, MANETconf and PROPHET stateful address auto-configuration protocols in ad hoc networks.	PE-WASUN	2009	DBLP DOI BibTeX RDF	auto-configuration protocols, ns2 simulation, ad hoc network
15	Scott E. Coull, Matthew Green 0001, Susan Hohenberger	Controlling Access to an Oblivious Database Using Stateful Anonymous Credentials.	Public Key Cryptography	2009	DBLP DOI BibTeX RDF
15	Eero Lehtonen, Mika Laiho	Stateful implication logic with memristors.	NANOARCH	2009	DBLP DOI BibTeX RDF
15	Ausama Yousef, Ali Diab 0001, Andreas Mitschele-Thiel	Performance evaluation of stateful address auto-configuration protocols in Ad hoc networks.	Wireless Days	2009	DBLP DOI BibTeX RDF
15	Yongjian Wang, Yinan Ren, Ting Chen, Yuanqiang Huang, Zhongzhi Luan, Zhongxin Wu, Depei Qian	Cesar-FD: An Effective Stateful Fault Detection Mechanism in Drug Discovery Grid.	CCGRID	2009	DBLP DOI BibTeX RDF
15	Basel Katt, Michael Hafner, Xinwen Zhang	Building a stateful reference monitor with coloured petri nets.	CollaborateCom	2009	DBLP DOI BibTeX RDF
15	Ignacio Laguna, Fahad A. Arshad, Saurabh Bagchi	Stateful error detection in high throughput applications.	Middleware (Companion)	2009	DBLP BibTeX RDF
15	Katsuyoshi Matsumoto, Minoru Uehara, Motoi Yamagiwa, Makoto Murakami, Hideki Mori	Proposal of Stateful Relilability Counter in Small-World Cellular Neural Networks.	CISIS	2009	DBLP DOI BibTeX RDF
15	Fei He, Yaxuan Qi, Yibo Xue, Jun Li 0003	SANS: a scalable architecture for network intrusion prevention with stateful frontend.	ANCS	2009	DBLP DOI BibTeX RDF
15	Giuseppe De Giacomo, Fabio Patrizi	Automated Composition of Nondeterministic Stateful Services.	WS-FM	2009	DBLP DOI BibTeX RDF
15	Moritz Hammer	How to touch a running system: reconfiguration of stateful components.		2009	RDF
15	Nikhil Swamy, Michael Hicks 0001	Verified enforcement of stateful information release policies.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	affine types, certified evaluation, state modifying policies, dependent types, declassification, singleton types
15	Moritz Hammer, Alexander Knapp	Correct Execution of Reconfiguration for Stateful Components.	FACS	2008	DBLP DOI BibTeX RDF
15	Jin-Ho Kim, Heejo Lee, Saewoong Bahk	A connection management protocol for stateful inspection firewalls in multi-homed networks.	J. Commun. Networks	2008	DBLP DOI BibTeX RDF
15	Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz, Roel Wuyts	Stateful traits and their formalization.	Comput. Lang. Syst. Struct.	2008	DBLP DOI BibTeX RDF
15	Derek L. Schuff, Yung Ryn Choe, Vijay S. Pai	Conservative vs. Optimistic Parallelization of Stateful Network Intrusion Detection.	ISPASS	2008	DBLP DOI BibTeX RDF
15	Nikhil Swamy, Michael Hicks 0001	Verified enforcement of stateful information release policies.	PLAS	2008	DBLP DOI BibTeX RDF	certified evaluation, state modifying, dependent, declassification, affine, singleton types
15	Pablo Neira Ayuso, Rafael Martinez Gasca, Leonardo Maccari, Laurent Lefèvre	Stateful Firewalling for Wireless Mesh Networks.	NTMS	2008	DBLP DOI BibTeX RDF
15	Christoph Reich, Kris Bubendorfer, Rajkumar Buyya	An Autonomic Peer-to-Peer Architecture for Hosting Stateful Web Services.	CCGRID	2008	DBLP DOI BibTeX RDF	Web services, p2p, deployment, autonomic
15	Bram Adams, Charlotte Herzeel, Kris Gybels	cHALO, stateful aspects in C.	ACP4IS@AOSD	2008	DBLP DOI BibTeX RDF
15	Javier Verdú	Analysis and architectural support for parallel stateful packet processing.		2008	RDF
15	Takashi Isobe	Query-Transaction Acceleration Using a DRP Enabling High-Speed Stateful Packet-by-Packet Self-Reconfiguration.	IEICE Trans. Inf. Syst.	2007	DBLP DOI BibTeX RDF
15	Shigang Chen, Yong Tang 0004, Wenliang Du	Stateful DDoS attacks and targeted filtering.	J. Netw. Comput. Appl.	2007	DBLP DOI BibTeX RDF
15	Christoph Reich, Kris Bubendorfer, Matthias Banholzer, Rajkumar Buyya	A SLA-Oriented Management of Containers for Hosting Stateful Web Services.	eScience	2007	DBLP DOI BibTeX RDF
15	Mahsa Naseri, Ahmad Towhidi	Stateful Web Services: A Missing Point in Web Service Standards.	IMECS	2007	DBLP BibTeX RDF
15	Zouheir Trabelsi, Wassim El-Hajj	Preventing ARP Attacks Using a Fuzzy-Based Stateful ARP Cache.	ICC	2007	DBLP DOI BibTeX RDF
15	Yi-Hsuan Feng, Nen-Fu Huang, Rong-Tai Liu, Meng-Huan Wu	Flow Digest: A State Replication Scheme for Stateful High Availability Cluster.	ICC	2007	DBLP DOI BibTeX RDF
15	Shen Li, Vijay Sivaraman, Alex Krumm-Heller, Craig Russell	A Dynamic Stateful Multicast Firewall.	ICC	2007	DBLP DOI BibTeX RDF
15	Mikhail Bernadsky, Rajeev Alur	Symbolic Analysis for GSMP Models with One Stateful Clock.	HSCC	2007	DBLP DOI BibTeX RDF
15	Humberto J. Abdelnur, Radu State, Olivier Festor	KiF: a stateful SIP fuzzer.	IPTComm	2007	DBLP DOI BibTeX RDF
15	Ashish Raniwala, Srikant Sharma, Pradipta De, Rupa Krishnan, Tzi-cker Chiueh	Evaluation of a Stateful Transport Protocol for Multi-channel Wireless Mesh Networks.	IWQoS	2007	DBLP DOI BibTeX RDF
15	Peter Tröger, Harald Meyer, Ingo Melzer, Marcus Flehmig	Dynamic Provisioning and Monitoring of Stateful Services.	WEBIST (1)	2007	DBLP BibTeX RDF
15	Li Qi, Hai Jin 0001, Yaqin Luo, Xuanhua Shi, Chengwei Wang	Service Dependency Model for Dynamic and Stateful Grid Services.	ICA3PP	2007	DBLP DOI BibTeX RDF
15	Thomas Cottenier, Aswin van den Berg, Tzilla Elrad	Stateful aspects: the case for aspect-oriented modeling.	AOM@AOSD	2007	DBLP DOI BibTeX RDF
15	Sourour Meharouech, Adel Bouhoula, Tarek Abbes	A Stateful Real Time Intrusion Detection System for high-speed network.	AINA	2007	DBLP DOI BibTeX RDF
15	Derek L. Schuff, Yung Ryn Choe, Vijay S. Pai	Conservative vs. optimistic parallelization of stateful network intrusion detection.	PPoPP	2007	DBLP DOI BibTeX RDF	parallelization, snort
15	Gunjan Khanna, Ignacio Laguna, Fahad A. Arshad, Saurabh Bagchi	Stateful Detection in High Throughput Distributed Systems.	SRDS	2007	DBLP DOI BibTeX RDF
15	Ming-Deng Hsieh, Tsan-Pin Wang, Ching-Sung Tsai, Chien-Chao Tseng	Stateful session handoff for mobile WWW.	Inf. Sci.	2006	DBLP DOI BibTeX RDF
15	Jianzhi Li, Hongji Yang	Reengineering websites into stateful resources for grid service oriented evolution.	Multiagent Grid Syst.	2006	DBLP DOI BibTeX RDF
15	Mihir Bellare, Tadayoshi Kohno, Victor Shoup	Stateful Public-Key Cryptosystems: How to Encrypt with One 160-bit Exponentiation.	IACR Cryptol. ePrint Arch.	2006	DBLP BibTeX RDF
15	German Shegalov, Gerhard Weikum, Klaus Berberich	Unstoppable Stateful PHP Web Services.	WISE	2006	DBLP DOI BibTeX RDF
15	Huashan Yu, Zhuoqun Xu	Optimizing Repetitive Resource Accesses with Stateful Web Services.	APSCC	2006	DBLP DOI BibTeX RDF
15	German Shegalov, Gerhard Weikum	EOS2: Unstoppable Stateful PHP. (PDF / PS)	VLDB	2006	DBLP BibTeX RDF
15	Yan Chen 0005, Xinyuan Fan, Wenjun Yang, Kai Chen, Guozhi Xu	Stage based parallel programming model for high concurrency, stateful network services: internals and design principles.	Int. J. High Perform. Comput. Netw.	2005	DBLP DOI BibTeX RDF
15	Swami Ramany, Richard Honicky, Darren Sawyer	Workload Modelling of Stateful Protocols Using HMMs.	Int. CMG Conference	2005	DBLP BibTeX RDF
15	Jun Li 0002, Xinming Ye, Jing-lin Shi, Miao Wang	Authenticated stateful auto-configuration for Mobile IPv6 based on pre-IP access control.	WiMob (2)	2005	DBLP DOI BibTeX RDF
15	Beda Christoph Hammerschmidt, Volker Linnemann	Migrating stateful web services using Apache Axis and P2P.	IADIS AC	2005	DBLP BibTeX RDF
15	Thuong Doan, Laurent D. Michel, Steven A. Demurjian, T. C. Ting	Stateful Design for Secure Information Systems.	WOSIS	2005	DBLP BibTeX RDF
15	Ya-Yunn Su, Jason Flinn	Slingshot: deploying stateful services in wireless hotspots.	MobiSys	2005	DBLP DOI BibTeX RDF
15	Javier Verdú, Mario Nemirovsky, Jorge García-Vidal, Mateo Valero	Workload Characterization of Stateful Networking Applications.	ISHPC	2005	DBLP DOI BibTeX RDF
15	Shifeng Zhang, Steve Goddard	A Stateful Architecture Description Language and its Support Development Environment.	Software Engineering Research and Practice	2004	DBLP BibTeX RDF
15	Shifeng Zhang, Steve Goddard	A Stateful Architecture Description Language to Support Component Composition.	Software Engineering Research and Practice	2004	DBLP BibTeX RDF
15	Jin-Ho Kim, Saewoong Bahk, Heejo Lee	A connection management protocol for stateful inspection firewalls in multi-homed networks.	ICC	2004	DBLP DOI BibTeX RDF
15	Mathieu Couture, Béchir Ktari, Mohamed Mejri, Frédéric Massicotte	A Declarative Approach to Stateful Intrusion Detection and Network Monitoring.	PST	2004	DBLP BibTeX RDF
15	Wei-qiang Sun, Jinsheng Li, Peilin Hong	A stateful multicast access control mechanism for future metro-area-networks.	Internet Res.	2003	DBLP DOI BibTeX RDF
15	Luciano Paschoal Gaspary, Edgar Meneghetti, Liane Margarida Rockenbach Tarouco	An SNMP Agent for Stateful Intrusion Inspection.	Integrated Network Management	2003	DBLP BibTeX RDF
15	Inhye Kang, Hyogon Kim	Determining embryonic connection timeout in stateful inspection.	ICC	2003	DBLP DOI BibTeX RDF
15	Giovanni Vigna, William K. Robertson, Vishal Kher, Richard A. Kemmerer	A Stateful Intrusion Detection System for World-Wide Web Servers.	ACSAC	2003	DBLP DOI BibTeX RDF	Security, World-Wide Web, Intrusion Detection
15	Weifeng Chen, Lakshminath R. Dondeti	Performance Comparison of Stateful and Stateless Group Rekeying Algorithms.	Networked Group Communication	2002	DBLP BibTeX RDF
15	Nicola Blefari-Melazzi, Mauro Femminella	Stateful vs. stateless admission control: which can be the gap in utilization efficiency?	GLOBECOM	2002	DBLP DOI BibTeX RDF
15	David von Oheimb	Interacting State Machines: A Stateful Approach to Proving Security.	FASec	2002	DBLP DOI BibTeX RDF
15	Daniel Hartmeier	Design and Performance of the OpenBSD Stateful Packet Filter (pf).	USENIX Annual Technical Conference, FREENIX Track	2002	DBLP BibTeX RDF
15	Isabelle Attali, Denis Caromel, Yung-Syau Chen, Jean-Luc Gaudiot, Andrew L. Wendelborn	Enhancing Functional and Irregular Parallelism: Stateful Functions and their Semantics.	Int. J. Parallel Program.	2001	DBLP DOI BibTeX RDF
15	Hongseok Yang	Local Reasoning for Stateful Programs		2001	RDF
15	Stathes Hadjiefthymiades, Drakoulis Martakos, Costas Petrou	Stateful relational database gateways for the World Wide Web.	J. Syst. Softw.	1999	DBLP DOI BibTeX RDF
15	Hyong Sop Shim	Flexible support for synchronous collaboration with selective window sharing and stateful group communication services.		1999	RDF
15	Koji Kagawa	Compositional References for Stateful Functional Programming.	ICFP	1997	DBLP DOI BibTeX RDF
15	Yung-Syau Chen, Jean-Luc Gaudiot	Extending functional languages with stateful computations.	SPDP	1996	DBLP DOI BibTeX RDF
10	Lucia Kapová, Barbora Buhnova, Anne Martens, Jens Happe, Ralf H. Reussner	State dependence in performance evaluation of component-based software systems.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	design-time prediction, performance, state dependency
10	Jinwon Lee, Seungwoo Kang, Youngki Lee, Sang Jeong Lee, Junehwa Song	BMQ-Processor: A High-Performance Border-Crossing Event Detection Framework for Large-Scale Monitoring Applications.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
10	Radha Jagadeesan, Corin Pitcher, James Riely	Open Bisimulation for Aspects.	T. Aspect-Oriented Software Development	2009	DBLP DOI BibTeX RDF
10	André Höing, Guido Scherp, Stefan Gudenkauf, Dirk Meister, André Brinkmann	An Orchestration as a Service Infrastructure Using Grid Technologies and WS-BPEL.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF
10	Frédéric Pluquet, Stefan Langerman, Roel Wuyts	Executing code in the past: efficient in-memory object graph versioning.	OOPSLA	2009	DBLP DOI BibTeX RDF	object-oriented programming, language design, object versioning
10	Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci 0001, Marco Pistore, Heorhi Raik, Matthias Wagner 0001	Control Flow Requirements for Automated Service Composition.	ICWS	2009	DBLP DOI BibTeX RDF
10	Ralph Mietzner, Tammo van Lessen, Alexander Wiese, Matthias Wieland 0001, Dimka Karastoyanova, Frank Leymann	Virtualizing Services and Resources with ProBus: The WS-Policy-Aware Service and Resource Bus.	ICWS	2009	DBLP DOI BibTeX RDF
10	Thomas Sturgeon, Colin Allison, Alan Miller	802.11 wireless experiments in a virtual world.	ITiCSE	2009	DBLP DOI BibTeX RDF	wireless networking, computer networks, 802.11, exploratory learning
10	Huaigu Wu, Bettina Kemme	A Unified Framework for Load Distribution and Fault-Tolerance of Application Servers.	Euro-Par	2009	DBLP DOI BibTeX RDF
10	Ervin Ramollari, Dimitrios Kourtesis, Dimitris Dranidis, Anthony J. H. Simons	Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing.	ESWC	2009	DBLP DOI BibTeX RDF	Service Validation, Semantic Web Services, Web service testing
10	Johannes Martens, Ulrich Bareth	A declarative approach to a user-centric markup language for location-based services.	Mobility Conference	2009	DBLP DOI BibTeX RDF	state-driven, user-generated, mobile, context, LBS, location-based service, control flow, markup language
10	David J. Boyd	TLS client handshake with a payment card.	IPDPS	2009	DBLP DOI BibTeX RDF
10	Tom Van Cutsem, Alexandre Bergel, Stéphane Ducasse, Wolfgang De Meuter	Adding State and Visibility Control to Traits Using Lexical Nesting.	ECOOP	2009	DBLP DOI BibTeX RDF
10	Vadim Lyubashevsky	Fiat-Shamir with Aborts: Applications to Lattice and Factoring-Based Signatures.	ASIACRYPT	2009	DBLP DOI BibTeX RDF
10	David B. Lomet	Dependability, Abstraction, and Programming.	DASFAA	2009	DBLP DOI BibTeX RDF	application persistence, scalability, dependability, abstraction, availability, programming model, enterprise applications
10	Weijia Li, Youtao Zhang, Bruce R. Childers	MCP: An Energy-Efficient Code Distribution Protocol for Multi-Application WSNs.	DCOSS	2009	DBLP DOI BibTeX RDF
10	Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee	On relational interfaces.	EMSOFT	2009	DBLP DOI BibTeX RDF	interfaces, composition, refinement, compositionality
10	Clint Heyer	The Å Publish/Subscribe Framework.	UIC	2009	DBLP DOI BibTeX RDF	ubiquitous computing, middleware, pervasive computing, distributed applications, Publish/subscribe
10	Robert E. Strom, Chitra Dorai, Thomas Huining Feng, Wei Zheng	Deterministic Replay for Transparent Recovery in Component-Oriented Middleware.	ICDCS	2009	DBLP DOI BibTeX RDF
10	Markus Rückert	Verifiably Encrypted Signatures from RSA without NIZKs.	INDOCRYPT	2009	DBLP DOI BibTeX RDF	Online contract signing, RSA, Merkle hash trees
10	Jon Oldevik, Øystein Haugen	From sequence diagrams to Java-stairs aspects.	AOSD	2009	DBLP DOI BibTeX RDF	sequence diagram aspects, trace-based aspects, refinement
10	Ton van Deursen, Sjouke Mauw, Sasa Radomirovic, Pim Vullers	Secure Ownership and Ownership Transfer in RFID Systems.	ESORICS	2009	DBLP DOI BibTeX RDF	RFID protocols, desynchronization resistance, formal verification, ownership, ownership transfer