|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 346 occurrences of 296 keywords
|
|
|
Results
Found 459 publication records. Showing 459 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
97 | Shaleeza Sohail, Chun Tung Chou, Salil S. Kanhere, Sanjay K. Jha |
On large scale deployment of parallelized file transfer protocol. |
IPCCC |
2005 |
DBLP DOI BibTeX RDF |
|
76 | Liutong Xu, Bo Ai 0006 |
FTPGrid: A New Paradigm for Distributed FTP System. |
GCC (2) |
2003 |
DBLP DOI BibTeX RDF |
|
76 | Deepak Gupta, Vikrant Sharma |
Design and implementation of a portable and extensible FTP to NFS gateway. |
PPPJ/IRE |
2002 |
DBLP DOI BibTeX RDF |
Java, NFS |
75 | Shaleeza Sohail, Sanjay K. Jha, Salil S. Kanhere, Chun Tung Chou |
QoS Driven Parallelization of Resources to Reduce File Download Delay. |
IEEE Trans. Parallel Distributed Syst. |
2006 |
DBLP DOI BibTeX RDF |
Internet, performance measurements, Distributed applications |
65 | Shaleeza Sohail, Sanjay Jha 0001, Hossam A. ElGindy |
Parallelized File Transfer Protocol (P-FTP). |
LCN |
2003 |
DBLP DOI BibTeX RDF |
|
65 | Junichi Funasaka, Masato Bito, Kenji Ishida |
PFTPD: An FTP Proxy System to Assure the Freshness of Files. |
ICDCS Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
55 | Linlan Liu, Jian Shu, Binquan Chen, Shuangjian Liang |
An Load Balancing Strategy of FTP Server-Cluster Based on JXTA. |
APSCC |
2008 |
DBLP DOI BibTeX RDF |
|
55 | Alexandros G. Fragkiadakis, David J. Parish |
Performance Evaluation of a PC-based Active Router and Analysis of an Active Secure FTP Application. |
NCA |
2005 |
DBLP DOI BibTeX RDF |
|
49 | Nicolas Peltier, Viorica Sofronie-Stokkermans (eds.) |
Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP 2009, Oslo, Norway, July 6-7, 2009. |
FTP |
2010 |
DBLP BibTeX RDF |
|
49 | Susumu Yamasaki |
A Fixed Point Representation of References. |
FTP |
2009 |
DBLP BibTeX RDF |
|
49 | Peter Jeavons 0001 |
Presenting Constraints. |
FTP |
2009 |
DBLP BibTeX RDF |
|
49 | Michel Ludwig, Ullrich Hustadt |
Redundancy Elimination in Monodic Temporal Reasoning. |
FTP |
2009 |
DBLP BibTeX RDF |
|
49 | Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita 0002, Ryuzo Hasegawa |
Minimal Model Generation with Respect to an Atom Set. |
FTP |
2009 |
DBLP BibTeX RDF |
|
49 | Koji Iwanuma, Hidetomo Nabeshima, Katsumi Inoue |
Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation. |
FTP |
2009 |
DBLP BibTeX RDF |
|
49 | Manuel Lamotte-Schubert, Christoph Weidenbach |
Analysis of Authorizations in SAP R/3. |
FTP |
2009 |
DBLP BibTeX RDF |
|
49 | Lilia Georgieva, Patrick Maier 0001 |
Inductive Reasoning for Shape Invariants. |
FTP |
2009 |
DBLP BibTeX RDF |
|
49 | Hao Xu |
Static Types As Search Heuristics. |
FTP |
2009 |
DBLP BibTeX RDF |
|
49 | Peter Baumgartner 0001, John Slaney |
Constraint Modelling: A Challenge for First Order Automated Reasoning. |
FTP |
2009 |
DBLP BibTeX RDF |
|
49 | Silvio Ranise |
Towards the Verification of Security-Aware Transaction E-services. |
FTP |
2009 |
DBLP BibTeX RDF |
|
49 | Nicolas Peltier, Viorica Sofronie-Stokkermans |
Preface. |
FTP |
2009 |
DBLP BibTeX RDF |
|
49 | Christoph Wernhard |
Literal Projection and Circumscription. |
FTP |
2009 |
DBLP BibTeX RDF |
|
49 | Silvio Ghilardi |
Model-Checking of Array-Based Systems: from Foundations to Implementation. |
FTP |
2009 |
DBLP BibTeX RDF |
|
49 | Ingo Dahn, Laurent Vigneron (eds.) |
4th International Workshop on First-Order Theorem Proving, FTP 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-14, 2003 |
FTP |
2003 |
DBLP BibTeX RDF |
|
49 | Nicolas Peltier |
A Resolution-based Model Building Algorithm for a Fragment of OCC1N=. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Sébastien Limet, Gernot Salzer |
Manipulating Tree Tuple Languages by Transforming Logic Programs. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Silvio Ranise, David Déharbe |
Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Guillaume Feuillade, Thomas Genet |
Reachability in Conditional Term Rewriting Systems. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Mateja Jamnik, Predrag Janicic |
Learning Strategies for Mechanised Building of Decision Procedures. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Hantao Zhang 0001, Haiou Shen, Felip Manyà |
Exact Algorithms for MAX-SAT. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Ingo Dahn, Laurent Vigneron |
Preface. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Abdessamad Imine, Pascal Molli, Gérald Oster, Pascal Urso |
VOTE: Group Editors Analyzing Tool: System Description. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Hans Zantema, Jan Friso Groote |
Transforming equality logic to propositional logic. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Thomas Hillenbrand |
Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Nachum Dershowitz |
Canonicity. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Josef Urban |
MPTP 0.1: System Description. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Cesare Tinelli, Calogero G. Zarba |
Combining Non-Stably Infinite Theories. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Silvio Ghilardi |
Quantifier Elimination and Provers Integration. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Dieter Hutter |
Deduction as an Engineering Science. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Domenico Cantone, Jacob T. Schwartz, Calogero G. Zarba |
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Thierry Boy de la Tour, Mnacho Echenim |
On Leaf Permutative Theories and Occurrence Permutation Groups. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Kazuya Tsukamoto, Takeshi Yamaguchi, Shigeru Kashihara, Yuji Oie |
Experimental Evaluation of Decision Criteria for WLAN Handover: Signal Strength and Frame Retransmission. |
UCS |
2006 |
DBLP DOI BibTeX RDF |
Wireless LAN Handover, Handover Decision Criterion, Frame retransmission, VoIP, Signal Strength, FTP |
45 | Pedro Juan Roig, Salvador Alcaraz, Katja Gilly |
FTP Algebraic Formal Modelling using ACP - Study on FTP Active Mode and Passive Mode. |
SIMULTECH |
2017 |
DBLP DOI BibTeX RDF |
|
44 | ByungRae Cha, JongGeun Jeong |
Improvement of Anomaly Intrusion Detection Performance by Indirect Relation for FTP Service. |
IWANN |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Shariq Bashir, Abdul Rauf Baig |
Max-FTP: Mining Maximal Fault-Tolerant Frequent Patterns from Databases. |
BNCOD |
2007 |
DBLP DOI BibTeX RDF |
Fault Tolerant Frequent Patterns Mining, Maximal Frequent Patterns Mining, Bit-vector Representation and Association Rules |
44 | Pratyusa K. Manadhata, Jeannette M. Wing, Mark Flynn, Miles McQueen |
Measuring the attack surfaces of two FTP daemons. |
QoP |
2006 |
DBLP DOI BibTeX RDF |
attack surface, attack surface metric, security metric |
44 | Polychronis Koutsakis, Spyros Psychis |
On the Efficient Resource Allocation for High Quality Video Streams and FTP Traffic over Next Generation Wireless Networks. |
NETWORKING |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Xin-guang Zou, Qiong Li, Sheng-He Sun, Xiamu Niu |
The Research on Information Hiding Based on Command Sequence of FTP Protocol. |
KES (3) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Yoshikazu Watanabe, Koji Okamura, Keijiro Araki |
Study on Merge of Overlapped TCP Traffic Using Reliable Multicast Transport. |
ICOIN |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Esther M. Arkin, Michael A. Bender, Dongdong Ge |
Improved approximation algorithms for the freeze-tag problem. |
SPAA |
2003 |
DBLP DOI BibTeX RDF |
freeze-tag problem, minimum broadcast-time problem, minimum gossip time problem, multicast problem, scheduling, approximation algorithms, NP-hardness, TSP, data dissemination, swarm robotics, network optimization |
37 | Jarmo Harju, Yevgeni Koucheryavy, Juha Laine, Sampo Saaristo, Kalevi Kilkki, Jussi P. O. Ruutu, Heikki Waris, Juha Forsten, Juha Oinonen |
Performance Measurements and Analysis of TCP Flows in a Differentiated Services WAN. |
LCN |
2000 |
DBLP DOI BibTeX RDF |
differentiated services WAN, file transmission, drop precedence levels, nonreal time traffic, service level specifications, background traffic, test network, core network, SIMA model, performance evaluation, performance analysis, transport protocols, performance measurements, wide area networks, telecommunication traffic, overload, real time traffic, ISP, network nodes, FTP, Finland, traffic conditions, TCP flows, traffic profiles |
37 | Karen A. Oostendorp, Lee Badger, C. D. Vance, W. G. Morrison, Michael J. Petkac, David L. Sherman, Daniel F. Sterne |
Domain and Type Enforcement Firewalls. |
ACSAC |
1997 |
DBLP DOI BibTeX RDF |
type enforcement firewalls, Internet connected organizations, Internet firewall, system penetration, business practices, external entities, Domain and Type Enforcement, DTE firewall, application level proxies, restrictive domains, network based attacks, local resources, role based security policies, DTE security attributes, DTE clients, Internet, access control, security policies, HTTP, servers, network services, security breaches, FTP |
37 | Michael G. Reed, Paul F. Syverson, David M. Goldschlag |
Proxies For Anonymous Routing. |
ACSAC |
1996 |
DBLP DOI BibTeX RDF |
anonymous routing, network traffic analysis-resistant method, flexible communications infrastructure, unmodified Internet services, Sun Solaris 2.4, World Wide Web browsing, remote logins, application-independent real-time bi-directional anonymous connections, anonymous connections, identifying information, packet-switched public network, HTTP, proxies, telecommunication network routing, electronic mail, file transfers, eavesdropping, FTP, onion routing, SMTP, public network, user anonymity |
37 | Eric Grosse |
Repository Mirroring. |
ACM Trans. Math. Softw. |
1995 |
DBLP DOI BibTeX RDF |
distributed administration, archives, checksum, ftp, electronic distribution |
36 | Zhongtang Cai, Vibhore Kumar, Karsten Schwan |
IQ-Paths: Predictably High Performance Data Streams across Dynamic Network Overlays. |
HPDC |
2006 |
DBLP DOI BibTeX RDF |
grid-FTP application, IQ-Paths, predictably high performance data stream, dynamic overlay network, middleware realization, online network monitoring, user-defined utility requirement, statistical analysis, scheduling algorithm, packet routing, data-intensive application, network bandwidth |
36 | L. Rodney Long, Lewis E. Berman, George R. Thoma |
Client/Server Design for Fast Retrieval of Large Images on the Internet. |
CBMS |
1995 |
DBLP DOI BibTeX RDF |
client/server design, fast image retrieval, large images, application-level technique, transmission rate improvement, cervical X-ray image files, FTP transmission, high-level design concepts, Internet, Internet, information retrieval, statistics, statistics, medical image processing, portable, PACS, client-server systems, visual databases, performance tests, channel capacity, robust technique |
33 | Yeming Hu, Nur Zincir-Heywood |
Modeling User Behaviors from FTP Server Logs. |
CNSR |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Oumer M. Teyeb, Malek Boussif, Troels B. Sørensen, Jeroen Wigard, Preben E. Mogensen |
Emulation Based Performance Investigation of FTP File Downloads over UMTS Dedicated Channels. |
ICN (1) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Drew Hwang, Marc Kenyon |
FTP-Based EDI vs. Web Services: A Case Study in the Retailer Industry. |
IEEE SCC |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Hua-Fu Li |
Pattern discovery and change detection of online music query streams. |
Multim. Tools Appl. |
2009 |
DBLP DOI BibTeX RDF |
Music query streams, Melody structure mining, Change detection, Multimedia data mining |
32 | Teerapat Sanguankotchakorn, Preeda Jaiton |
Effect of Triangular Routing in Mixed IPv4/IPv6 Networks. |
ICN |
2008 |
DBLP DOI BibTeX RDF |
Triangular routing, Mobile IP-Application Layer Gateway (MIP-ALG), IPv4/IPv6 |
32 | Ling-Jyh Chen, Ting-Kai Huang |
A Peer-to-Peer Approach for Mobile File Transfer in Opportunistic People Networks. |
AINA |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Mårten Ericson, Stefan Wänstedt |
Mixed Traffic HSDPA scheduling - Impact on VoIP Capacity. |
VTC Spring |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Nan Du, Liutong Xu, Xiangang Zhao, Congyun Zhao, Bai Wang 0001 |
Resource Merging and Synchronization in FTPGrid*. |
IMSCCS (1) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Baohua Wei, Gilles Fedak, Franck Cappello |
Collaborative Data Distribution with BitTorrent for Computational Desktop Grids. |
ISPDC |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Shai Rubin, Somesh Jha, Barton P. Miller |
Language-Based Generation and Evaluation of NIDS Signatures. |
S&P |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Peter G. Neumann |
Risks to the public in computers and related systems. |
ACM SIGSOFT Softw. Eng. Notes |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Myles F. Barrett, Marshall E. Giguere |
A Note on Covariance and Contravariance Unification. |
ACM SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
C++ |
32 | Peter B. Danzig, Richard S. Hall, Michael F. Schwartz |
A Case for Caching File Objects Inside Internetworks. |
SIGCOMM |
1993 |
DBLP DOI BibTeX RDF |
Internet |
26 | Ricardo Caferra, Gernot Salzer (eds.) |
Automated Deduction in Classical and Non-Classical Logics, Selected Papers |
FTP (LNCS Selection) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Stéphane Demri, Rajeev Goré |
An O ((n·log n)3)-Time Transformation from Grz into Decidable Fragments of Classical First-Order Logic. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Viorica Sofronie-Stokkermans |
Resolution-Based Theorem Proving for SHn-Logics. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Thierry Boy de la Tour |
On the Complexity of Finite Sorted Algebras. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Andrea Formisano 0001, Eugenio G. Omodeo |
An Equational Re-engineering of Set Theories. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
first-order theorem-proving, relation algebras, Set Theory, algebraic logic |
26 | Ullrich Hustadt, Renate A. Schmidt |
Issues of Decidability for Description Logics in the Framework of Resolution. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Ingo Dahn |
Interpretation of a Mizar-Like Logic in First-Order Logic. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Christian G. Fermüller |
Implicational Completeness of Signed Resolution. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Alexander Leitsch |
Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Domenico Cantone, Calogero G. Zarba |
A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Deepak Kapur, G. Sivakumar |
Proving Associative-Communicative Termination Using RPO-Compatible Orderings. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | David A. Plaisted, Yunshan Zhu |
Replacement Rules with Definition Detection. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Reinhard Pichler |
Completeness and Redundancy in Constrained Clause Logic. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Domenico Cantone, Marianna Nicolosi Asmundo |
A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Grigore Rosu, Joseph A. Goguen |
Hidden Congruent Deduction. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Melvin Fitting |
Higher-Order Modal Logic - A Sketch. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Reinhard Pichler |
Extending Decidable Clause Classes via Constraints. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Gilles Dowek |
Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Aida Pliuskeviciene |
Effective Properties of Some First-Order Intuitionistic Modal Logics. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Claus-Peter Wirth |
Full First-Order Sequent and Tableau Calculi with Preservation of Solutions and the Liberalized delta-Rule but without Skolemization. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Mario A. Gomez-Rodriguez, Víctor Jesús Sosa Sosa, Ivan López-Arévalo |
An External Storage Support for Mobile Applications with Scare Resources. |
SNPD |
2010 |
DBLP DOI BibTeX RDF |
Wi-Fi, GPRS, MMS, FTP |
26 | Hesham Mahmoud El Sawy, Hesham M. El-Badawy, Khaled Ali Shehata |
Joint Radio Resource Management for HSDPA and WiMAX Networks. |
CICSyN |
2009 |
DBLP DOI BibTeX RDF |
JRRM, WiMAX, Scheduling algorithm, HSDPA, FTP |
26 | Yun Pan, Yuan Zhou, Licheng Wang |
Modeling Internet Applications with Event Graphs. |
FSKD (5) |
2009 |
DBLP DOI BibTeX RDF |
WWW, discrete events, FTP, Event graphs |
26 | Scott E. Spetka, George O. Ramseyer, Richard W. Linderman |
Redeveloping a high-Performance computing framework. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
CGICC, COS, web, distributed, refactoring, Linux, GLOBUS, JSP, CGI, FTP, corba |
22 | Riccardo Dondi, Manuel Lafond |
An FTP Algorithm for Temporal Graph Untangling. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Dongyue Guo, Jianwei Zhang, Yi Lin |
SIA-FTP: A Spoken Instruction Aware Flight Trajectory Prediction Framework. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Kaveripaka Sathish, Ravikumar C. V., Asadi Srinivasulu, Anand Kumar Gupta |
Performance Analysis of Underwater Wireless Sensor Network by Deploying FTP, CBR, and VBR as Applications. |
J. Comput. Networks Commun. |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Yosza Dasril, Muhammad Sam'an |
Fuzzy Approximate Optimal Solution of the Fuzzy Transportation Problems (FTP) Under Interval Form Using Monte Carlo Approach. |
SCDM |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Andrei-Daniel Tudosi, Adrian Graur, Doru Gabriel Balan, Alin Dan Potorac |
Network Congestion Solution for FTP Services Based on Distributed Firewall and Snort. |
RoEduNet |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Roman Danyliw |
Updating References to the IETF FTP Service. |
RFC |
2021 |
DBLP DOI BibTeX RDF |
|
22 | John T. Hancock, Taghi M. Khoshgoftaar, Joffrey L. Leevy |
Detecting SSH and FTP Brute Force Attacks in Big Data. |
ICMLA |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Qinying Yuan, Mingzhu Li |
Research on the Problems and Countermeasures of Personnel Training under the Background of Hainan FTZ (FTP) Construction - -Taking the Tourism Management Specialty as an Example. |
IPEC |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 459 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|