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 |