researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1952
1956
1958
1959
1961
1962
1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1979
1980
1981
1982
1983
1985
1989
1990
1991
1992
1993
1994
1995
1996
1997
2012
2017
Filter by Tag
OR
AND
NOT
1
control systems
database
denotational semantics
e-science
incremental
interpreter
protocol
semantics
synchronization
Filter by Author
[+]
OR
AND
NOT
1
Alfred Bork
Anthony I. Wasserman
Benjamin Mittman
Burt M. Leavenworth
Earl J. Schweppe
Elizabeth D. Rather
Elliot Soloway
Ellis Horowitz
Fred J. Maryanski
Gerard Salton
H. Burke Horton
James S. Ketchel
Janice R. Lourie
Joel Moses
John Tartar
Michael Stonebraker
Monroe M. Newborn
Robert M. Hayes
Saul Rosen
Steven E. Furth
Filter by Top terms
[+]
OR
AND
NOT
1
abstract
acm
analysis
computer
computers
data
design
information
language
management
panel
processing
program
programming
session
simulation
software
system
systems
time
ACM Conference on Computer Science (acm)
Editions
Publications
Viewing Publication 1 - 100 from 2514
2017
Distributed skyline trajectory query processing
Amina Belhassena
,
Hongzhi Wang
.
acm 2017
:
[doi]
MOOC student dropout: pattern and prevention
Yunfan Chen
,
Ming Zhang
.
acm 2017
:
[doi]
Determining the currency of dynamic data
Xiaoou Ding
,
Hongzhi Wang
,
Yitong Gao
,
Jianzhong Li
,
Hong Gao
.
acm 2017
:
[doi]
U2F based secure mutual authentication protocol for mobile payment
Kai Fan
,
Hui Li
,
Wei Jiang
,
Chengsheng Xiao
,
Yintang Yang
.
acm 2017
:
[doi]
k, R, r)-anonymity: a light-weight and personalized location protection model for LBS query
Yunxia Feng
,
Xu Li
,
Bo Song
.
acm 2017
:
[doi]
Search engine drives the evolution of social networks
Cai Fu
,
Chenchen Peng
,
Xiao-Yang Liu
.
acm 2017
:
[doi]
Crowdsourcing-based wifi fingerprint update for indoor localization
Ningjia Fu
,
Jianzhong Zhang
,
Wenping Yu
,
Changhai Wang
.
acm 2017
:
[doi]
FNF: flow-net based fingerprinting
Bo Fu
,
Yang Xiao
,
Hui Chen
.
acm 2017
:
[doi]
Hybrid small class teaching: dividing and conquering large computer systems classes
Yao Guo
,
Junlin Lu
,
Yifeng Chen
,
Ming Zhang
,
Wenxin Li
.
acm 2017
:
[doi]
Performance evaluation of anomaly-detection algorithm for keystroke-typing based insider detection
Liang He
,
Zhixiang Li
,
Chao Shen
.
acm 2017
:
[doi]
Collaboratively filtering malware infections: a tensor decomposition approach
Jieqiong Hou
,
Haifeng Qian
.
acm 2017
:
[doi]
Hybrid de-anonymization across real-world heterogeneous social networks
Huaxin Li
,
Qingrong Chen
,
Haojin Zhu
,
Di Ma
.
acm 2017
:
[doi]
NANI: an efficient community detection algorithm based on nested aggregation of node influence
Chuan Li
,
Zhiheng Jiang
,
Yijie Li
,
Yangfan Miao
,
Daiyan Hu
,
Guangming Liu
,
Yijing Liu
.
acm 2017
:
[doi]
Exploiting contention and congestion aware switch allocation in network-on-chips
Cunlu Li
,
Dezun Dong
,
Xiangke Liao
.
acm 2017
:
[doi]
Taming both predictable and unpredictable link failures for network tomography
Huikang Li
,
Yi Gao
,
Wei Dong
,
Chun Chen
.
acm 2017
:
[doi]
Teaching evaluation for computational-thinking-oriented elementary computer courses
Bo Li
,
Xiaobin Zhang
,
Ning Wu
.
acm 2017
:
[doi]
ShadowPWD: practical browser-based password manager with a security token
Shuang Liang
,
Yue Zhang
,
Bo Li
,
Xiaojie Guo
,
Hao Guo
,
Xiaoyun He
,
Zheli Liu
,
Chunfu Jia
.
acm 2017
:
[doi]
Towards heterogeneous keyword search
Chunbin Lin
,
Jianguo Wang
,
Chuitian Rong
.
acm 2017
:
[doi]
Evaluation of situational case-based teaching technique in engineering education
Qiang Liu
,
Wentao Zhao
,
Dan Liu
,
Jiao Ji
.
acm 2017
:
[doi]
GlobeSen: an open interconnection framework based on named sensory date for IoT
Liang Liu
,
Huadong Ma
,
Bo Chen
,
Wenbo Yang
.
acm 2017
:
[doi]
Proceedings of the ACM Turing 50th Celebration Conference - China, TUR-C 2017, Shanghai, China, May 12-14, 2017
John C. S. Lui
,
Xinbing Wang
,
Alexander Wolf
,
Yunhao Liu
,
Chuanping Hu
, editors,
ACM,
2017.
[doi]
Learning word embeddings via context grouping
Yun Ma
,
Qing Li
,
Zhenguo Yang
,
Wenyin Liu
,
Antoni B. Chan
.
acm 2017
:
[doi]
Android digital forensics: data, extraction and analysis
Nathan Scrivens
,
Xiaodong Lin
.
acm 2017
:
[doi]
From the perspective of teaching scheme: cultivating and training undergraduates driven by engineering education accreditation
ShuMin Shi
,
Heyan Huang
,
Jun Zheng
.
acm 2017
:
[doi]
Using coursera clickstream data to improve online education for software engineering
Yanchun Sun
,
Chao Xin
.
acm 2017
:
[doi]
Streamline architecture of network simulator to facilitate teaching of computer networking
Xiaohua Tian
,
Jiaqi Liu
,
Xinbing Wang
.
acm 2017
:
[doi]
Security analysis of Bloom filter based multicast forwarding
Xiaohua Tian
,
Jiaqi Liu
,
Wei Liu
,
Yu Cheng
,
Lijun Ou
,
Zilong Zhao
.
acm 2017
:
[doi]
FlashSkipList: indexing on flash devices
Huiying Wang
,
Jianhua Feng
.
acm 2017
:
[doi]
How does web-based virtual reality affect learning: evidences from a quasi-experiment
Ruobin Wang
,
Fengxia Li
,
Nannan Cheng
,
Bin Xiao
,
Jiandong Wang
,
Chuntao Du
.
acm 2017
:
[doi]
The design of course architecture for big data
Hongzhi Wang
,
Hong Gao
,
Shenjun Yin
,
Jie Zhu
.
acm 2017
:
[doi]
An APCA-enhanced compression method on large-scale time-series data
Haiquan Wang
.
acm 2017
:
[doi]
Preventing "bad" content dispersal in named data networking
Yi Wang
,
Zhuyun Qi
,
Kai Lei
,
Bin Liu
,
Chen Tian
.
acm 2017
:
[doi]
NIOSIT: efficient data access for log-structured merge-tree style storage systems
Bing Xiao
,
Jinwei Guo
,
Weining Qian
,
Huiqi Hu
,
Aoying Zhou
.
acm 2017
:
[doi]
The early fusion strategy for search result diversification
Chunlin Xu
,
Shengli Wu
.
acm 2017
:
[doi]
Correlation analysis between electricity consumption and economic development
Yaoqiang Xu
,
Yongqing Xie
,
Jianhua Feng
.
acm 2017
:
[doi]
Matrix completion for SPOC student peer-grading evaluation
Bin Xu
,
Kexin Li
,
Kening Gao
,
Changkuan Zhao
,
Ge Yu
,
Jinshuang Li
.
acm 2017
:
[doi]
MINOS: regulating router dataplane actions in dynamic runtime environments
Lei Xu
,
Ke Xu
,
Meng Shen
,
Kui Ren
,
Jingyuan Fan
,
Chaowen Guan
,
Wenlong Chen
.
acm 2017
:
[doi]
COFFEE: coexist wifi for ZigBee networks: a frequency overlay approach
Yubo Yan
,
Panlong Yang
,
Xiang-Yang Li
,
Yafei Zhang
.
acm 2017
:
[doi]
CLR: coupled logistic regression model for CTR prediction
Ning Yin
,
Hongyan Li
,
Hanchen Su
.
acm 2017
:
[doi]
Thor: a server-level hybrid switching data center network with heterogeneous topologies
Xiaoshan Yu
,
Hong Xu
,
Huaxi Gu
.
acm 2017
:
[doi]
Cooperative relay tracking with multiple mobile camera sensors
Jiandian Zeng
,
Tian Wang
,
Md. Zakirul Alam Bhuiyan
.
acm 2017
:
[doi]
A data-driven analysis of student efforts and improvements on a SPOC experiment
Ming Zhang
,
Jile Zhu
.
acm 2017
:
[doi]
Remote FPGA lab platform for computer system curriculum
Yuxiang Zhang
,
Yu Chen
,
Xiaojian Ma
,
Yuhan Tang
,
Yilin Niu
,
Shanshan Li
,
Weidong Liu
.
acm 2017
:
[doi]
Building step-by-step practical curriculum system for computer systemic ability training
Yu Zhang
,
Xianglan Chen
,
Xin An
,
Jianliang Lu
,
Xuejun Li
,
Xuehai Zhou
.
acm 2017
:
[doi]
Composed sketch framework for quantiles and cardinality queries over big data streams
Shuzhuang Zhang
,
Hao Luo
,
Zhi-Gang Wu
,
Yi Wang
.
acm 2017
:
[doi]
Tide and shock: the influential modern teaching methods on chinese education reform
JuMin Zhao
,
Shimin Huo
,
Yanxia Li
,
Dengao Li
,
Xinyan Liu
,
Jie Zhou
.
acm 2017
:
[doi]
Botzone: a competitive and interactive platform for game AI education
Haoyu Zhou
,
Yushan Zhou
,
Haifeng Zhang
,
Houjun Huang
,
Wenxin Li
.
acm 2017
:
[doi]
MagSpider: a localization-free approach for constructing global indoor map for navigation purpose
Xiaolei Zhou
,
Deke Guo
,
Xiaoqiang Teng
.
acm 2017
:
[doi]
Computing skyline groups: an experimental evaluation
Haoyang Zhu
,
Peidong Zhu
,
Xiaoyong Li
,
Qiang Liu
.
acm 2017
:
[doi]
Research on quantitative quality evaluation method based on double cycles
Mao Yang Zou
,
Xi Wu
.
acm 2017
:
[doi]
2012
ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012
ACM,
2012.
[doi]
Information, Data, Security in a Networked Future
Vint Cerf
,
John E. Hopcroft
,
Robert E. Kahn
,
Ronald L. Rivest
,
Adi Shamir
.
acm 2012
:
[doi]
Welcome to the ACM Turing Centenary Program
Vinton G. Cerf
.
acm 2012
:
[doi]
Computable Real Numbers and Why They Are Still Important Today
Edmund M. Clarke
.
acm 2012
:
[doi]
Programming Languages - Past Achievements and Future Challenges
Susan Graham
,
Frances E. Allen
,
Barbara Liskov
,
Niklaus Wirth
.
acm 2012
:
[doi]
Human and Machine Intelligence
Barbara J. Grosz
,
Edward A. Feigenbaum
,
Marvin Minsky
,
Judea Pearl
,
Raj Reddy
.
acm 2012
:
[doi]
The Turing Computational Model
Juris Hartmanis
,
Stephen Cook
,
William Kahan
,
Richard Edwin Stearns
,
Andrew C. Yao
.
acm 2012
:
[doi]
Extracting Energy from the Turing Tarpit
Alan C. Kay
.
acm 2012
:
[doi]
What Computers Do: Model, Connect and Engage
Butler W. Lampson
.
acm 2012
:
[doi]
Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice
Dahlia Malkhi
,
Fernando J. Corbató
,
E. Allen Emerson
,
Joseph Sifakis
,
Ken Thompson
.
acm 2012
:
[doi]
An Algorithmic View of the Universe
Christos H. Papadimitriou
,
Leonard M. Adleman
,
Richard M. Karp
,
Donald E. Knuth
,
Robert E. Tarjan
,
Leslie G. Valiant
.
acm 2012
:
[doi]
Computer Architecture
David Patterson
,
Frederick P. Brooks Jr.
,
Ivan E. Sutherland
,
Charles P. Thacker
.
acm 2012
:
[doi]
Lambda Calculus Then and Now
Dana S. Scott
.
acm 2012
:
[doi]
Turing the Man
Keith van Rijsbergen
,
Charles W. Bachman
,
Kelly Gotlieb
,
Wendy Hall
,
William Newman
.
acm 2012
:
[doi]
Welcome to the ACM Turing Centenary Celebration!
John White
.
acm 2012
:
[doi]
1997
ACM'97: The Next 50 Years of Computing, ACM '97, San Jose, California, USA, March 3-5, 1997
ACM,
1997.
[doi]
The folly of prediction
Gordon Bell
.
acm 1997
:
3
[doi]
The evolution and impact of electronic and non-electronic, biological, and optical computing
Joel S. Birnbaum
.
acm 1997
:
4
[doi]
ACM97 closing comments
James Burke
.
acm 1997
:
18
[doi]
ACM97 opening comments
James Burke
.
acm 1997
:
1
[doi]
The future of the internet
Vint Cerf
.
acm 1997
:
10
[doi]
How IT will transform the experience of telling and listening to stories
Bran Ferren
.
acm 1997
:
7
[doi]
The impact of IT on business communications
Fernando Flores
.
acm 1997
:
9
[doi]
The quality of information
Murray Gell-Mann
.
acm 1997
:
17
[doi]
The long-term impact of telecommunications
Reed Hundt
.
acm 1997
:
14
[doi]
The long-term impact of IT culture
Brenda Laurel
.
acm 1997
:
11
[doi]
How intelligent agents will interact with software ecologies
Pattie Maes
.
acm 1997
:
5
[doi]
Semiconductors
Carver Mead
.
acm 1997
:
2
[doi]
The future of software, the software industry, and Windows '47
Nathan Myhrvold
.
acm 1997
:
6
[doi]
How IT will change the face of war
William Perry
.
acm 1997
:
8
[doi]
How investments in computing research will pay off
Raj Reddy
.
acm 1997
:
16
[doi]
The long-term impact of technology on K-12 education
Elliot Soloway
.
acm 1997
:
13
[doi]
The dark side impacts of IT on society
Bruce Sterling
.
acm 1997
:
15
[doi]
The impediments to technological advancement imposed by the laws of physics
Maurice V. Wilkes
.
acm 1997
:
12
[doi]
1996
Proceedings of the 24th ACM Conference on Computer Science, CSC '96, Philadelphia, PA, USA, February 16-18, 1996
Robert E. Beck
,
Mary Lou Soffa
, editors,
ACM,
1996.
[doi]
Enumerating the Risks of Reengineered Processes
Laura Lally
.
acm 1996
:
18-23
[doi]
1995
Proceedings of the 1995 ACM 23rd Annual Conference on Computer Science, CSC '95, Nashville, TN, USA, February 28 - March 2, 1995
Richard S. Brice
,
C. Jinshong Hwang
,
Betty W. Hwang
, editors,
ACM,
1995.
[doi]
1994
ACM Conference on Computer Science
1994.
An Approach to Modeling and Measuring the Design Complexity of Abstract Data Types
Joseph Y. Kuo
,
Derek S. Morris
.
acm 1994
:
130-138
[doi]
Augmented Priority Ceiling Protocol: Task Synchronization for Preemptive Real-Time Systems
Wai-tat Poon
,
E. K. Park
.
acm 1994
:
1-6
[doi]
Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, CSC '94, Phoenix, Arizona, USA, March 8-10, 1994
John Werth
,
Laurie Honour Werth
, editors,
ACM,
1994.
[doi]
1993
ACM Conference on Computer Science
1993.
ACM Conference on Computer Science
1993.
An Incremental Algorithm for Building Temporal Quadtrees
George F. Frazier
.
acm 1993
:
446-452
[doi]
Proceedings of the ACM 21th Conference on Computer Science, CSC '93, Indianapolis, IN, USA, February 16-18, 1993
Stan C. Kwasny
,
John F. Buck
, editors,
ACM,
1993.
[doi]
Constructing Natural Language Interface Applications to Operating Systems
Bill Z. Manaris
,
Jason W. Pritchard
.
acm 1993
:
425-432
[doi]
Denotational Semantics of a Calculator
Ken Slonneger
.
acm 1993
:
176-181
[doi]
Animating Hashing Algorithms for Computer Science Education
Angel Velez-Sosa
,
Peter A. Gloor
.
acm 1993
:
201-208
[doi]
Parallel Construction of Minimal Perfect Hashing Functions with Neural Networks
Jin Wang
.
acm 1993
:
265-271
[doi]
1992
A Parallel Extendible Scalable Cellular Automata Machine: PE-SCAM
J. Dana Eckart
.
acm 1992
:
467-472
[doi]
Sign in
or
sign up
to see more results.