Search results for "FTP"

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