Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
89 | Oscar H. Ibarra, Ömer Egecioglu |
Hierarchies and Characterizations of Stateless Multicounter Machines. |
COCOON |
2009 |
DBLP DOI BibTeX RDF |
Stateless multicounter machine, reversal-bounded, non- realtime, stateless multihead automata, hierarchy, closure properties, semilinear set |
78 | Oscar H. Ibarra, Juhani Karhumäki, Alexander Okhotin |
On Stateless Multihead Automata: Hierarchies and the Emptiness Problem. |
LATIN |
2008 |
DBLP DOI BibTeX RDF |
|
72 | Weifeng Chen, Lakshminath R. Dondeti |
Recommendations in Using Group Key Management Algorithms. |
DISCEX (2) |
2003 |
DBLP DOI BibTeX RDF |
Group rekeying, Stateless rekeying, Network security, Multicast security |
68 | Chunguang Ma, Peng Wu, Guochang Gu |
A New Method for the Design of Stateless Transitive Signature Schemes. |
APWeb Workshops |
2006 |
DBLP DOI BibTeX RDF |
stateless signature, transitive signature, Cryptography, digital signature |
68 | Martin Kutrib, Hartmut Messerschmidt, Friedrich Otto |
On Stateless Deterministic Restarting Automata. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
68 | Madanlal Musuvathi, Shaz Qadeer |
Fair stateless model checking. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
model checking, concurrency, software testing, fairness, multi-threading, liveness, shared-memory programs |
58 | Alan Shieh, Andrew C. Myers, Emin Gün Sirer |
A stateless approach to connection-oriented protocols. |
ACM Trans. Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Stateless interfaces, stateless protocols |
58 | Baruch Awerbuch, Rohit Khandekar |
Stateless distributed gradient descent for positive linear programs. |
STOC |
2008 |
DBLP DOI BibTeX RDF |
distributed and stateless algorithms, linear programming, gradient descent, fast convergence |
58 | Miodrag J. Mihaljevic |
Key Management Schemes for Stateless Receivers Based on Time Varying Heterogeneous Logical Key Hierarchy. |
ASIACRYPT |
2003 |
DBLP DOI BibTeX RDF |
stateless receivers, time varying schemes, heterogeneous structures, tree graphs, reconfigurability, key management, broadcast encryption |
57 | Joshua J. Arulanandham |
Unconventional "Stateless" Turing-Like Machines. |
UC |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Gang Cheng 0003, Li Zhu, Nirwan Ansari |
A new deterministic traffic model for core-stateless scheduling. |
IEEE Trans. Commun. |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Yan Qin, Yong Xiang, Meilin Shi |
Virtual Delay Vector Based Core-Stateless Packet Scheduling Algorithm. |
ICNS |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Nicola Blefari-Melazzi, Mauro Femminella |
A Comparison of the Utilization Efficiency between a Stateful and a Stateless Admission Control in IP Networks in a Heterogeneous Traffic Case. |
Telecommun. Syst. |
2004 |
DBLP DOI BibTeX RDF |
IP QoS, utilization efficiency, performance evaluation, Differentiated Services, heterogeneous traffic |
57 | Jung-Shian Li, Cheng-Pong Lo |
Core-Stateless Labeling Fairness: An Integrated Architecture to Approximate Fair Bandwidth Allocations in High Speed Networks. |
LCN |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Zhijun Wang 0001, Sajal K. Das 0001, Hao Che, Mohan Kumar |
A Scalable Asynchronous Cache Consistency Scheme (SACCS) for Mobile Environments. |
IEEE Trans. Parallel Distributed Syst. |
2004 |
DBLP DOI BibTeX RDF |
stale cache hit, Mobile environments, cache consistency, disconnection, bandwidth utilization |
48 | Baruch Awerbuch, Zhenghua Fu, Rohit Khandekar |
Brief announcement: Stateless distributed algorithms for generalized packing linear programs. |
PODC |
2009 |
DBLP DOI BibTeX RDF |
distributed and stateless algorithms, linear programming, gradient descent, fast convergence |
48 | Ömer Egecioglu, Oscar H. Ibarra |
On Stateless Multicounter Machines. |
CiE |
2009 |
DBLP DOI BibTeX RDF |
Stateless multicounter machines, reversal-bounded, realtime computation, hierarchies |
48 | Abhishek Kulkarni, Andrew Lumsdaine |
Stateless Clustering Using OSCAR and PERCEUS. |
HPCS |
2008 |
DBLP DOI BibTeX RDF |
Perceus, diskless, PS3, cluster, HPC, stateless, OSCAR |
48 | Harry M. Sneed |
Generation of Stateless Components from Procedural Programs for Reuse in a Distributed System. |
CSMR |
2000 |
DBLP DOI BibTeX RDF |
Stateless Components, Host Networking, Reengineering, Intranet, COBOL, Client/Server, Wrapping, CICS |
47 | Pierluigi Frisco, Oscar H. Ibarra |
On Stateless Multihead Finite Automata and Multihead Pushdown Automata. |
Developments in Language Theory |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Avi Cohen |
Stateless programming as a motif for teaching computer science. |
ACM J. Educ. Resour. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Yong Ho Hwang, Chong Hee Kim, Pil Joong Lee |
An Efficient Revocation Scheme for Stateless Receivers. |
EuroPKI |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Pan Wang, Peng Ning, Douglas S. Reeves |
Storage-Efficient Stateless Group Key Revocation. |
ISC |
2004 |
DBLP DOI BibTeX RDF |
|
47 | George V. Popescu, Zhen Liu |
Stateless Application-Level Multicast for Dynamic Group Communication. |
DS-RT |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Abhimanyu Das, Debojyoti Dutta, Ahmed Helmy |
Fair Stateless Aggregate Traffic Marking Using Active Queue Management Techniques. |
MMNS |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Kuo-Chung Tai, Bengi Karaçali |
On Godefroid's Stateless Search Technique for Testing Concurrent Programs. |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
|
41 | Norka B. Lucena, Grzegorz Lewandowski, Steve J. Chapin |
Covert Channels in IPv6. |
Privacy Enhancing Technologies |
2005 |
DBLP DOI BibTeX RDF |
active warden, IPv6, IPsec, covert channel, stateful, stateless |
41 | Miodrag J. Mihaljevic |
Broadcast Encryption Schemes Based on the Sectioned Key Tree. |
ICICS |
2003 |
DBLP DOI BibTeX RDF |
stateless receivers, key management, Broadcast encryption |
41 | Mohamed G. Gouda, Alex X. Liu |
A Model of Stateful Firewalls and Its Properties. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Nicolas Szilas, Monica Axelrad |
To Be or Not to Be: Towards Stateless Interactive Drama. |
ICIDS |
2009 |
DBLP DOI BibTeX RDF |
authoring, interactive narrative, Interactive drama, stateless |
37 | Ragib Hasan, Marianne Winslett, Richard M. Conlan, Brian Slesinsky, Nandakumar Ramani |
Please Permit Me: Stateless Delegated Authorization in Mashups. |
ACSAC |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Avadora Dumitrescu, Jarmo Harju |
Assuring Fair Allocation of Excess Bandwidth in Reservation Based Core-Stateless Networks. |
LCN |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Yevgeniy Dodis, Nelly Fazio |
Public Key Broadcast Encryption for Stateless Receivers. |
Digital Rights Management Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Gideon Stupp |
Stateless Termination Detection. |
DISC |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Dalit Naor, Moni Naor, Jeffery Lotspiech |
Revocation and Tracing Schemes for Stateless Receivers. |
CRYPTO |
2001 |
DBLP DOI BibTeX RDF |
Revocation scheme, Tracing scheme, Copyright Protection, Broadcast Encryption |
37 | Brian K. Schmidt, Monica S. Lam, J. Duane Northcutt |
The interactive performance of SLIM: a stateless, thin-client architecture. |
SOSP |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Sandra Johnson, David Hyland-Wood, Anders L. Madsen, Kerrie L. Mengersen |
Stateful to Stateless: Modelling Stateless Ethereum. |
MARS@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Xavier Boyen |
Hidden credential retrieval from a reusable password. |
AsiaCCS |
2009 |
DBLP DOI BibTeX RDF |
online authentication, partially trusted servers, reusable passwords, stateless roaming credentials |
31 | Haldor Samset, Rolv Bræk |
Dealing with Active and Stateful Services in the Service-Oriented Architecture. |
ICSOC Workshops |
2007 |
DBLP DOI BibTeX RDF |
collaboration-based, behavioral contract, Service-oriented architecture, stateful, service modeling, stateless |
31 | Andreas Klenk, Frank Petri, Benoit Radier, Mikaël Salaün, Georg Carle |
Automated Trust Negotiation in Autonomic Environments. |
IWSOS |
2007 |
DBLP DOI BibTeX RDF |
stateless automated trust negotiation, attribute-based access control |
31 | Niraj Tolia, David G. Andersen, Mahadev Satyanarayanan |
Quantifying Interactive User Experience on Thin Clients. |
Computer |
2006 |
DBLP DOI BibTeX RDF |
Stateless thick clients, Mobile devices, Thin-client computing |
31 | Célio Albuquerque 0001, Brett J. Vickers, Tatsuya Suda |
Network border patrol: preventing congestion collapse and promoting fairness in the internet. |
IEEE/ACM Trans. Netw. |
2004 |
DBLP DOI BibTeX RDF |
border control, congestion collapse, core-stateless mechanisms, end-to-end argument, internet, congestion control, max-min fairness |
31 | Tomoyuki Asano |
Reducing Storage at Receivers in SD and LSD Broadcast Encryption Schemes. |
WISA |
2003 |
DBLP DOI BibTeX RDF |
stateless receiver, master key, subset difference, key management, digital rights management, revocation, broadcast encryption |
31 | Mohamed G. Gouda, E. N. Elnozahy, Chin-Tser Huang, Tommy M. McGuire |
Hop Integrity in Computer Networks. |
ICNP |
2000 |
DBLP DOI BibTeX RDF |
hop integrity, secret exchange protocol, weak integrity protocol, strong integrity protocol, stateless protocol, protocols, network security, Transmission Control Protocol, computer networks, computer networks, TCP/IP, transport protocols, Internet Protocol, network protocol, security of data, router, telecommunication network routing, telecommunication security, message transmission |
31 | Saumitra M. Das, Himabindu Pucha, Y. Charlie Hu |
Distributed Hashing for Scalable Multicast in Wireless Ad Hoc Networks. |
IEEE Trans. Parallel Distributed Syst. |
2008 |
DBLP DOI BibTeX RDF |
Wireless networks, mobile ad hoc networks, multicast, hashing, scalable routing |
31 | Yu Yang 0013, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby |
Efficient Stateful Dynamic Partial Order Reduction. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Yu Huang 0002, Beihong Jin, Jiannong Cao 0001, Guangzhong Sun, Yulin Feng |
A Selective Push Algorithm for Cooperative Cache Consistency Maintenance over MANETs. |
EUC |
2007 |
DBLP DOI BibTeX RDF |
Cache Status Maintenance, Selective Push, Mobile Ad hoc Networks, Stateful, Cooperative Caching, Cache Consistency |
31 | Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz, Roel Wuyts |
Stateful Traits. |
ISC |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Jai-Jin Lim, Kang G. Shin |
Gradient-Ascending Routing via Footprints in Wireless Sensor Networks. |
RTSS |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Marco Bucci, Raimondo Luzzi |
Design of Testable Random Bit Generators. |
CHES |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Abhishek Singh, Ola Nordström, Chenghuai Lu, André L. M. dos Santos |
Malicious ICMP Tunneling: Defense against the Vulnerability. |
ACISP |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Susan Hohenberger, Brent Waters |
Short and Stateless Signatures from the RSA Assumption. |
CRYPTO |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Bryan Parno, Adrian Perrig, Dave G. Andersen |
SNAPP: stateless network-authenticated path pinning. |
AsiaCCS |
2008 |
DBLP DOI BibTeX RDF |
path pinning, next-generation networks |
27 | Baruch Awerbuch, Rohit Khandekar |
Stateless Near Optimal Flow Control with Poly-logarithmic Convergence. |
LATIN |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Seyyed Vahid Hashemian, Farhad Mavaddat |
Automatic Composition of Stateless Components: A Logical Reasoning Approach. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
Software Reuse, Process Algebra, Web Services Composition, Component Composition |
27 | Rade Stanojevic, Robert Shorten |
Beyond CHOKe: Stateless Fair Queueing. |
NET-COOP |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Anna Zych, Milan Petkovic, Willem Jonker |
The Interval Revocation Scheme for Broadcasting Messages to Stateless Receivers. (PDF / PS) |
DBSec |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Asad Amir Pirzada, Chris McDonald |
Trusted Greedy Perimeter Stateless Routing. |
ICON |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Maoke Chen, Xing Li 0001, Ang Li, Yong Cui 0001 |
Forwarding IPv4 Traffics in Pure IPv6 Backbone with Stateless Address Mapping. |
NOMS |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Seyyed Vahid Hashemian, Farhad Mavaddat |
A Graph-Based Framework for Composition of Stateless Web Services. |
ECOWS |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Marco Bucci, Luca Giancane, Raimondo Luzzi, Mario Varanonuovo, Alessandro Trifiletti |
A novel concept for stateless random bit generators in cryptographic applications. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Shoaib Mukhtar, Ali Hammad Akbar 0001, Shafique Ahmad Chaudhry, Won-Sik Yoon, Ki-Hyung Kim, Suk-Kyo Hong |
Mitigating Broadcast Storms in Stateless Address Auto-configuring MANETs. |
ICCSA (2) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Nick Josevski, Naveen K. Chilamkurti |
A stabilized Core-Stateless Fair Queuing Mechanism for a Layered Multicast Network. |
ICNS |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Dongkeun Lee, Jaepil Yoo, Keecheon Kim, Kyunglim Kang |
IPv6 Stateless Address Auto-configuration in Mobile Ad-Hoc Network. |
APWeb Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Kamel Haddadou, Yacine Ghamri-Doudane, Samir Ghamri-Doudane, Nazim Agoulmine |
Proactive Two-Tier Bandwidth Brokerage for On-Demand Policy-Based Resource Allocation in Stateless IP Networks. |
MMNS |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Angelos Stavrou, Angelos D. Keromytis |
Countering DoS attacks with stateless multipath overlays. |
CCS |
2005 |
DBLP DOI BibTeX RDF |
key agreement, spread-spectrum communications |
27 | Dongkeun Lee, Jaepil Yoo, Keecheon Kim, Kyunglim Kang |
IPv6 stateless address auto-configuration in mobile ad-hoc network (T-DAD) and performance evaluation. |
PE-WASUN |
2005 |
DBLP DOI BibTeX RDF |
MANET, auto-configuration |
27 | Marlenne Angulo, Deni Torres Román, Marco Turrubiartes, David Muñoz Rodríguez |
Admission Control of a Stateless Network: Effective Bandwidth Approach. |
CONIELECOMP |
2005 |
DBLP DOI BibTeX RDF |
State-less networks, Admission control, Effective Bandwidth |
27 | Wenyu Gao, Jianxin Wang 0001, Songqiao Chen |
A Novel Core Stateless Virtual Clock Scheduling Algorithm. |
ICCNMC |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Cheng-Yuan Ho, Yi-Cheng Chan, Yaw-Chung Chen |
A TCP-Friendly Stateless AQM Scheme for Fair Bandwidth Allocation. |
ICAS/ICNS |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Zhenhai Duan, Zhi-Li Zhang, Yiwei Thomas Hou, Lixin Gao 0001 |
A Core Stateless Bandwidth Broker Architecture for Scalable Support of Guaranteed Services. |
IEEE Trans. Parallel Distributed Syst. |
2004 |
DBLP DOI BibTeX RDF |
quality of services, admission control, bandwidth broker, Network resource management, flow aggregation |
27 | Santashil PalChaudhuri, Shu Du, Amit Kumar Saha, David B. Johnson 0001 |
TreeCast: A Stateless Addressing and Routing Architecture for Sensor Networks. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
Simulation, Sensor network, System design |
27 | Avadora Dumitrescu |
Dynamic Widest Path Selection for Connection Admission Control in Core-Stateless Networks. |
QSHINE |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Abraham Yaar, Adrian Perrig, Dawn Xiaodong Song |
SIFF: A Stateless Internet Flow Filter to Mitigate DDoS Flooding Attacks. |
S&P |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Ion Stoica, Scott Shenker, Hui Zhang 0001 |
Core-stateless fair queueing: a scalable architecture to approximate fair bandwidth allocations in high-speed networks. |
IEEE/ACM Trans. Netw. |
2003 |
DBLP DOI BibTeX RDF |
binary linear codes, least covering radius, Internet, covering radius |
27 | Jasleen Kaur 0001, Harrick M. Vin |
Providing Deterministic End-to-End Fairness Guarantees in Core-Stateless Networks. |
IWQoS |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Yong Ho Hwang, Chong Hee Kim, Pil Joong Lee |
An Efficient Revocation Scheme with Minimal Message Length for Stateless Receivers. |
ACISP |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Tian He 0001, John A. Stankovic, Chenyang Lu 0001, Tarek F. Abdelzaher |
SPEED: A Stateless Protocol for Real-Time Communication in Sensor Networks. |
ICDCS |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Zhong Fan |
IPv6 Stateless Address Autoconfiguration in Ad Hoc Networks. |
PWC |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Gahng-Seop Ahn, Andrew T. Campbell, Andras Veres, Li-Hsiang Sun |
Supporting Service Differentiation for Real-Time and Best-Effort Traffic in Stateless Wireless Ad Hoc Networks (SWAN). |
IEEE Trans. Mob. Comput. |
2002 |
DBLP DOI BibTeX RDF |
quality of service, wireless ad hoc networks, Service differentiation |
27 | Hoon-Tong Ngin, Chen-Khong Tham |
A Control-Theoretical Approach for Fair Share Computation in Core-Stateless Networks. |
QofIS |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Narayanan Venkitaraman, Jayanth Mysore, Mike Needham |
A Core-Stateless Utility Based Rate Allocation Framework. |
Protocols for High-Speed Networks |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Cristel Pelsser, Stefaan De Cnodder |
Improvements to Core Stateless Fair Queueing. |
Protocols for High-Speed Networks |
2002 |
DBLP DOI BibTeX RDF |
|
27 | JuHee Ki, Hyun-Jeong Kim, Dong Hoon Lee 0001, Chang-Seop Park |
Efficient Multicast Key Management for Stateless Receivers. |
ICISC |
2002 |
DBLP DOI BibTeX RDF |
multicast, key management, group communication |
27 | Giuseppe Ateniese, Cristina Nita-Rotaru |
Stateless-Recipient Certified E-Mail System Based on Verifiable Encryption. |
CT-RSA |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Yannick Blanpain, Hung-Yun Hsieh, Raghupathy Sivakumar |
The Incremental Deployability of Core-Stateless Fair Queuing. |
ICN (2) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Yan Hu, GuangZhao Zhang |
A Stateless Active Queue Management Scheme for Approximating Fair Bandwidth Allocation and Stabilized Buffer Occupation. |
IEEE Pacific Rim Conference on Multimedia |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Brad Karp, H. T. Kung 0001 |
GPSR: greedy perimeter stateless routing for wireless networks. |
MobiCom |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Yiwei Thomas Hou, Dapeng Wu 0001, Jason Yao, Takafumi Chujo |
A Core-Stateless Buffer Management Mechanism for Differentiated Services Internet. |
LCN |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Ion Stoica, Scott Shenker, Hui Zhang 0001 |
Core-Stateless Fair Queueing: Achieving Approximately Fair Bandwidth Allocations in High Speed Networks. |
SIGCOMM |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Yan-Bo Wang, Tin Yu Wu, Wei-Tsong Lee, Chih-Heng Ke |
A Novel Geographic Routing Strategy over VANET. |
AINA Workshops |
2010 |
DBLP DOI BibTeX RDF |
Geographic Position-Based Routing Protocol, Greedy Perimeter Stateless Routing, VANET |
21 | Doha Elsharief, Hamidah Ibrahim, Ali Mamat, Mohamed Othman |
A survey of methods for maintaining mobile cache consistency. |
MoMM |
2009 |
DBLP DOI BibTeX RDF |
mobile cache consistency, stateful approach, stateless broadcasting approach, invalidation reports |
21 | Chao Gui, Prasant Mohapatra |
Overlay multicast for MANETs using dynamic virtual mesh. |
Wirel. Networks |
2007 |
DBLP DOI BibTeX RDF |
Stateless multicast, Source-based steiner tree algorithm, MANET, Overlay multicast, Virtual topology |
21 | Konstantin Chekin |
Theory of infinite streams and objects. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
set of admissible infinite behaviors, stateless representation, systems of objects, theory of objects and streams |
21 | Grzegorz Lewandowski, Norka B. Lucena, Steve J. Chapin |
Analyzing Network-Aware Active Wardens in IPv6. |
Information Hiding |
2006 |
DBLP DOI BibTeX RDF |
active wardens, traffic normalizers, active mappers, traffic analysis, covert channels, stateful, stateless, network-aware, evasion attacks |
21 | Arunchandar Vasan 0001, Atif M. Memon |
ASPIRE: Automated Systematic Protocol Implementation Robustness Evaluation. |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
faulty PDUs, protocol data units, stateless protocols, stateful protocols, automated testing, robustness testing |
21 | Shlomi Dolev, Ted Herman, Limor Lahiani |
Brief announcement: polygonal broadcast, secret maturity and the firing sensors. |
PODC |
2004 |
DBLP DOI BibTeX RDF |
stateless routing, sensor networks, self-stabilization |
20 | Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi |
GAMBIT: effective unit testing for concurrency libraries. |
PPoPP |
2010 |
DBLP DOI BibTeX RDF |
preemption bound, model checking, concurrency, software testing, multithreading, partial-order reduction |
20 | Sejun Song, Daehee Kim 0002, Baek-Young Choi |
AGSMR: Adaptive Geo-Source Multicast Routing for Wireless Sensor Networks. |
WASA |
2009 |
DBLP DOI BibTeX RDF |
Geographic Multicast, Source Multicast, Wireless Sensor Network |
20 | Kai Lampka, Simon Perathoner, Lothar Thiele |
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
performance analysis, timed automata, hard real-time systems, real-time calculus |