1. Prof. Young Bae Choi, Bloomsburg University

Next Generation Web: What’s Next?

We explore recent developments on the Web and forecast future development trends of Next Generation Web based on the current technologies and emerging Web technologies developed by international standard organizations and changing requirements of Web users and industry market.

2. Mr. Gary Desler, SAIC (Science Applications International Corporation), Inc.

Case study on high-speed communication network deployment

Abstract: Practical issues in high speed communication network deployment will be discussed with a case study of K-12 gigabit network at Clark County Schools District, which is the 5th largest school district in US serving over 300,000 students in Southern Nevada.

3. Dr. Fritz Grupe, Nevada Small Business Development Center, University of Nevada, Reno

Funding opportunities through the SBIR/STTR programs

Abstract: The federal SBIR and STTR programs were created to allow small business develop technological innovations that meet federal R&D needs. The largest start up fund for small businesses, the programs provide $2.3 billion annually through eleven agencies. This presentation describes the nature of the programs, the funding phases the application procedures, and the expected outcomes including the need for marketability of products to either the government or to the open marketplace. They also serve to encourage technology transfer through cooperative research between small business concerns and non-profit research institutions.

4. Prof. Taisook Han, KAIST (Korea Advanced Institute of Science and Technology), Korea

A Framework to Analyze and Verify Esterel Programs

Abstract: Esterel is a synchronous language with imperative features and the synchrony hypothesis, which help to control synchronization and preemption among simultaneous threads in reactive synchronous programs. However, it is hard to compute exact synchronization process and interferences among threads from Esterel programs. This makes it difficult to analyze or diagnose the programs. In this talk, I will introduce our research on static analyses and verification on Esterel programs.

First, we proposed a new control flow graph (CFG) that exposes invisible interferences among threads and shows program structures explicitly. Based on graph reachability on the CFGs of source codes, we devised an algorithm to detect schizophrenic problems that cause incorrect circuit translation. Second, we restated the semantics of Esterel with a logical semantics that focuses on exposing the synchronization process and implicit interferences among threads. Our logical semantics divides derivation rules into two groups: computations within an instant and computations across instants. This separation helps to expose the synchronization process explicitly and to describe erroneous behaviors formally. Third, we are working on an abstract interpretation-based static analysis to summarize all the executable traces of an Esterel program. Our path-sensitive analysis summarizes execution traces of a program into a concise and precise representation. Our summary reveals relations between signals so that we can easily perceive how the program reacts to external input signals. Our analysis will be applicable to debugging of system designs and verification of temporal properties.

5. Prof. Eunjin Jung, University of Iowa

A Comprehensive Approach for Malicious Javascript Detection

Abstract: As the World Wide Web expands and more users join, it becomes an increasingly attractive means of distributing malware. Malicious javascript frequently serves as the initial infection vector for malware. We train several classifiers to detect malicious javascript and evaluate their performance. We propose features focused on detecting obfuscation, a common technique to bypass traditional malware detectors. As the classifiers show a high detection rate and a low false alarm rate, we propose several uses for the classifiers, including selectively suppressing potentially malicious javascript based on the classifier's recommendations, achieving a compromise between usability and security. This work is jointly done with Peter Likarish and Insoon Jo, and will appear in the proceedings of the 4th International Malicious and Unwanted Software (Malware 2009).

6. Prof. Chong-kwon Kim, Seoul National University, Korea

7. Dr. Jaehoon Kim, KSEA president elect

8. Dr. Jihie Kim, University of Southern California

Pedagogical Discourse: Connecting Students to Past Discussions and Peer Mentors within an Online Discussion Board

Abstract: The goal of the Pedagogical Discourse project is to develop instructional tools that will help students and instructors use discussion boards more effectively, with an emphasis on automatically assessing discussion activities and building tools for promoting student discussion participation and learning. In this paper, we present a two related participation and learning scaffolding tools that exploit natural language processing and information retrieval techniques. The PedaBot tool is designed to aid student knowledge acquisition and promote reflection about course topics by connecting related discussions from a knowledge base of past discussions to the current discussion thread. The MentorMatch tool is designed to promote student collaboration through the use of student mentors, i.e., course peers with a relatively good understanding of a particular topic. The system identifies students who often provide answers on a given topic and encourages classmates to invite mentors to participate in related discussions. Both tools have been integrated into a live discussion board that is used by an undergraduate computer science course. This paper describes our approaches to applying information retrieval and natural language processing techniques in the development of the tools and presents initial results from software instrumentation and student surveys.

9. Prof. Yongdae Kim, University of Minnesota

Secure Network Coding and Its Applications

Abstract: Network coding is a new data transmission technique which offers better throughput and better reliability, and has many potential applications for future Internet. However, network coding has a major vulnerability: since files are reconstructed from multiple independently-coded blocks, an error in any block can corrupt an entire file. Any node in a system can therefore destroy any file. Furthermore, since blocks are re-coded in transit, traditional signature schemes are useless. In the first part of the talk, I will introduce a new homomorphic digital signature scheme that prevents this type of attack. In the second part of the talk, I will introduce two applications of the secure network coding scheme: 1) a peer-to-peer file sharing system that provides faster download time as well as robustness against membership churn 2) a multicast scheme that is robust against denial-of-service attacks while providing efficient multicast.

10. Prof. Joohyung Lee, Arizona State University

Event Calculus and Answer Set Programming

Abstract: Efforts in describing effects of actions in a formal language has led to several formalisms, some of them based on classical logic and some others based on nonmonotonic logics. Recent discoveries show that some representative nonmonotonic logics are closely related to each other, and also to classical logic. In particular the stable model semantics, one of the most well known semantics of logic programs, can be characterized by classical logic.

This talk is about how a classical logic based formalism called circumscriptive event calculus can be reformulated as answer set programming, a recent declarative programming paradigm based on the stable model semantics. The reformulation allows efficient answer set solvers to be used for event calculus reasoning, which not only can compute the full version of the event calculus (modulo grounding) but is also shown to be faster than the current SAT-based approach by a few orders of magnitude.

11. Prof. Myungjong Lee, City University of New York

Introduction of IEEE 802.15 Wireless Personal Area Networks

What would be NBT (next big thing) is a question, one that has overarching impact for years to come in any societies. In view of Information Technologies, a principle, though not quantitative, appears lending itself to a good explanation for major past technological developments: the law of Entropy. After brief overview of the development of wireless communications ranging from packet switching to today’s ubiquitous network based on wireless sensor networks, the talk will introduce the recent IEEE 802.15 (Wireless Personal Area Networks, WPAN) standard development activities including 15.4, 15.5 wireless mesh, 15.6 body area networks. IEEE 802.15.4 is targeting at low power and low rate WPAN applicable to many residential, commercial and industrial application. It provides PHY & MAC technologies for such international standards as ZigBee, IEEE 802.15.5, and IETF 6lowpan and ROLL. Recently, it launched a new PHY amendment for smart grid application (15.4g), which could be the first large scale WSN application. MAC is being developed within 15.4e for industrial as well as smart grid applications.

12. Prof. Bongki Moon, University of Arizona

Flash Memory Database Systems and In-Page Logging

Abstract: Due to its superiority such as lower access latency and low energy consumption, the success of flash memory as a storage alternative has been steadily expanded from mobile and personal computing devices to enterprise servers, high performance computing, and large data centers. As its capacity increases and price drops, flash memory competes more successfully with high-end disk drives, and is considered a standard medium for tier zero in the storage hierarchy. Flash memory, however, exhibits poor performance for small writes requested in a random order. Existing database systems may not be able to take full advantage of flash memory without elaborate flash-aware data structures and algorithms. In this presentation, we will discuss the applicability and potential impact that flash memory Solid State Drives (SSDs) have for certain types of storage spaces of a database server. Also to be discussed will be a new design called in-page logging (IPL). This new design is proposed to overcome the limitations of flash memory such as erase-before-write, and exploits its unique characteristics to achieve the best attainable performance for flash-based database servers.

13. Mr. Mark Newburn, Vizics, Inc.

The Fundamentals of 3D Stereoscopic Display Technologies for Virtual Reality, Film, and Video Games

Abstract: After decades of relegation to the niche fields of Virtual Reality and 3D photography, 3D stereoscopic technologies have once again exploded into the area of Hollywood feature films. This talk will cover the process of human binocular depth perception along with its simulation using Active Stereo, Passive Stereo, Anaglyphic Stereo, and Autostereoscopic technologies. The application of these technologies to the fields of Virtual Reality, Film, and Video Games will also be covered.

14. Prof. Tae H. Oh, Rochester Institute of Technology

Resiliency Against Single Attack in Wireless Mesh Networking for the Smart Grid

Abstract: Smart meters located at homes and businesses compose a neighborhood area network (NAN). The NAN architecture is assumed to be a wireless mesh network where meters communicate bidirectionally with a neighborhood "collector" via multihop routing. Collectors are connected directly to a utility provider. So wireless mesh network is considered for Smart Grid architecture. However, a wireless mesh network depends on the cooperation of each node to properly forward packets to their destinations. If a malicious attacker was located in a path, it could interfere with packet forwarding. This would be a serious problem because the traditional method to verify receipt of packets is acknowledgements and retransmission time-outs. The sender waits for an acknowledgement or times out and retransmits. If an attacker within the path is dropping packets, the destination would have no way to know that packets have been dropped, and the sender would not know if packets are being dropped due to malice or normal congestion conditions. Moreover, an attacker could generate false acknowledgements to the sender to make it believe that packets had been delivered. We propose a new method taking advantage of route diversity in the mesh network for Smart Grid.

15. Prof. Chan-Mo Park, NRF (National Research Foundation of Korea), Korea

International Collaboration of KOCSEA with NRF & PUST

We live in an era of knowledge-based, ubiquitous and globalized society. International collaboration is very important in a globalized society. It is my hope that KOCSEA Technical Symposium develop into an international symposium in near future. In this presentation I would like to introduce the National Research Foundation of Korea (NRF) as well as the Pyongyang University of Science & Technology (PUST) and to propose an international collaboration of KOCSEA with NRF and PUST. The NRF was established by merging three funding agencies of Korea, namely KOSEF, KRF and KICOS on June 26 of this year. Its goal is to contribute to the improvement of people’s quality of life by generating creative knowledge, developing new technology, and functioning as a national growth engine through the convergence of the humanities and social sciences with science & technology. In addition, the NRF will utilize the cooperative relationship with other highly esteemed research funding organizations from across the world such as the NSF of U.S.A. to provide timely support for international collaborative research projects. The Center for International Affairs of the NRF is in charge of this role.

The PUST opened in Pyongyang on September 16th 2009 and it is expected to admit the first group of students in April, 2010. Initially three departments, ICT, AFL and IM will open followed by Public Health and Construction Engineering soon. Many foreigners from U.S.A., UK, Canada, Australia, etc. participated in the opening ceremony. The educational goals of PUST are creativity, practicability and globalization. Software technology in North Korea is well advanced and collaboration with North Korean scientists through PUST by KOCSEA members will help to globalize North Korea that will contribute to the World Peace.

17. Prof. Injong Rhee, North Carolina State University

DiffQ: Practical Differential Backlog Congestion Control for Wireless Networks

Congestion control in wireless multi-hop networks is challenging and complicated because of two reasons. First, interference is ubiquitous and causes loss in the shared medium. Second, wireless multihop networks are characterized by the use of diverse and dynamically changing routing paths. Traditional end point based congestion control protocols are ineffective in such a setting resulting in unfairness and starvation. This paper adapts the optimal theoretical work of Tassiulas and Ephremedes on cross-layer optimization of wireless networks involving congestion control, routing and scheduling, for practical solutions to congestion control in multi-hop wireless networks. This work is the first that implements in real off-shelf radios, a differential backlog based MAC scheduling and router-assisted backpressure congestion control for multi-hop wireless networks. Our adaptation, called DiffQ, is implemented between transport and IP and supports legacy TCP and UDP applications. In a network of 46 IEEE 802.11 wireless nodes, we demonstrate that DiffQ far outperforms many previously proposed ``practical'' solutions for congestion control.

18. Prof. Jungwoo Ryoo, Penn State University, Altoona

Security Pattern Mining and Certification: An Evidence-based Approach

Abstract: Some architectural structures in software systems are more resilient to security attacks. There are a number of so-called security patterns claiming their effectiveness in thwarting attempts to compromise various aspects of software security. It is, however, very difficult to objectively verify these sometimes inflated ratings of a pattern since there is no established way of certifying them. This presentation therefore focuses on potential approaches to improve the status quo by proposing an evidence-based methodology that can both quantitatively and qualitatively prove the true capabilities of a security pattern.

19. Prof.Taewan Ryu, California State University, Fullerton

A Web-based Distributed Simulation System

Abstract: Applications of computer simulation are pervasive in many domains such as defense, medical, entertainment, etc. for significant cost saving, better control, and understanding of given objects and phenomenon. Computer simulation is particularly important in building many mission-critical systems such as space mission and defense applications because of high cost and reliability of the systems. Accordingly, different organizations including DoD and NASA have developed various simulation systems in the past for many different purposes. However, developing a realistic simulation system requires tremendous effort in developing complex models and performing experiments and maintenance. Furthermore, often times, these simulation systems require communications and collaboration among different systems. To reduce such development effort and increase the effective communication and collaboration among the systems, High Level Architecture (HLA) has been developed and standardized for distributed computer simulations because many simulation systems, especially in the same or similar domains, share the similar system architectures and operational procedures. In this research, we introduce the basic concepts and techniques of HLA, an example distributed simulation system based on HLA and web-service, and some partial results that show the effectiveness of the system to support telecommunications link and orbital analysis. The distributed computer simulation approach provides a simple solution and platform to overcome the problem by using divide and conquer technique that divides a large and complex simulation system into many manageable smaller simulations that may be even running on different machines. HLA simplifies the development of such distributed simulations systems.

20. Prof. Eric Sandgren, University of Nevada, Las Vegas

Research and education at UNLV

Abstract: UNLV is the center of research and education in southern Nevada, providing the necessary workforce to the community. Faculty members have been active in interdisciplinary research and recently completed new Science and Engineering building accommodates such activities ideally. The current research activities and future plans, and collaborative efforts with other institutions are discussed.

21. Mr. David Schrom, Federal Bureau of Investigation

Issues in Cyber Crime Investigation

Abstract: Cyber crimes are increasing and getting more advanced. What is the FBI battling to protect all citizens from Cyber crimes?

22. Prof. Kang G. Shin, University of Michigan

On Cognitive Radio Networks

Abstract: Static spectrum allocation has resulted in low spectrum efficiency in licensed bands and poor performance of radio devices in crowded unlicensed bands. To remedy these problems, we have been exploring ways of exploiting the concept of "spectrum agility" such that radio devices can dynamically and opportunistically utilize idle spectral bands. Cognitive radio (CR) is one such device that enables dynamic spectrum access and environment-aware wireless networking.

We studied several key elements of CR and obtained a series of interesting results. First, we proposed a unified framework of CRs that defines necessary interactions between intra- and inter-CR devices. Second, we studied one of the most essential components of CRs, spectrum sensing, and its PHY- and MAC-layer research issues, such as: (1) MAC-layer sensing scheduling for maximal and fast discovery of spectrum opportunities via out-of-band sensing, (2) protection of legacy spectrum users via in-band sensing, (3) an optimal spectrum sensing framework that jointly exploits sensors' cooperation and sensing scheduling, and (4) an attack-tolerant cooperative sensing scheme where clustered sensors cooperatively safeguard distributed sensing. We have also been designing a comprehensive and cohesive cognitive framework across the wireless networking stack, built upon the CR platform. This framework consists of cross-layer algorithms exploiting awareness at multiple levels (e.g., PHY/MAC,transport) to optimize operations and improve overall application performance. Finally, we have built a CR testbed that consists of heterogeneous wireless systems including MadWiFi-enabled 802.11 devices, mobile robots, and USRPs with GRU Radio capability.

This is joint work with my former graduate students (Chun-Ting Chou and Kyu-Han Kim), current graduate students (Hyoil Kim, Ashwini Kumar, Alex Min, Eugene Chai, and Xinyu), and former post doctoral fellows, Bechir Hamdaoui and Young-June Choi.

23. Dr. Samuel Song, Telesecurity Sciences, Inc.

Technical Aspects of Airport Security

Abstract: Two aspects of airport security are discussed, namely the screening of checked bags and carry-on items. The technology employed for the two screening procedures utilize x-ray imaging techniques with the distinction that the former utilize Computed Tomography (CT) technology and the latter utilize dual-energy x-ray line scanners. For screening checked bags for explosives, CT based Explosive Detection Systems (EDSs) generate cross-sectional images of the bags for inspection. The TSA requirements under which EDS systems are developed stress automated detection, high detection rates and fast throughput. Attention is increasing for on-screen resolution (OSR) of threats and the costs associated with bags that are not cleared through OSR. To improve the cost and performance of OSR, we introduce a vendor independent Baggage Viewing Stations (BVSs) including advanced visualization techniques. For screening carry-on items, dual-energy x-ray line scanners generate projection images of carry-on items. We have developed a technology to enable relaxation of the current 3-1-1 liquid carry-on policy using existing installed concourse scanners. The proposed Automatic Liquid Threat Analysis (ALTA) algorithm shows excellent receiver operating characteristics (ROC). The detection algorithm first flags potential liquid regions via a combination of advanced image processing operations. Then, density and effective atomic number of suspect regions are estimated to high accuracy.

24. Mr. Derek Walker, Southwest System Integration, Inc.

Architecting and Building SOA solutions

Abstract: Southwest System Integration, Inc. specializes in architecting and building SOA solutions for clients and building software products. We will give an overview of SOA solutions with its advantages and challenges, and present some case studies.

25. Prof. Taehyung Wang, California State University, Northridge

Semantic Computing

Abstract: Semantic Computing is believed to be one of the most promising future computing technologies. This talk covers current movement of Semantic Computing, addressing concepts and principles of semantic computing, variety of activities to promote that movement, and challenges to be overcome. The activities include initiation of an international conference, a summer school, a journal, and establishment of an IEEE-CS technical committee.

26. Prof. Jongwook Woo, California State University, Los Angeles

Introduction to Cloud Computing

Cloud Computing has been popluar and there are too many definitions to describe it. In the paper, the definition of Cloud Computing is introduced. And, its popular applications are discussed in information retrieval and integration area.

27. Prof. Evangelos Yfantis, University of Nevada, Las Vegas

Motion Noise Separation In Digital Video

Abstract: Due to several factors contributing to noise, with high probability Macroblocks in the P-Frames and B-Frames are misclassified as blocks with motion. Also often times Macroblocks containing motion as classified as motionless. In this research we first identify the source of noise and then we develop algorithms that more accurately separate the noise from motion.