박종헌 교수

Due to the recent explosive growth of location-aware services based on mobile devices, predicting the next places of a user is of increasing importance to enable proactive information services. In this paper, we introduce a data-driven framework that aims to predict the user's next places using his/her past visiting patterns analyzed from mobile device logs. Specifically, the notion of the spatiotemporal-periodic (STP) pattern is proposed to capture the visits with spatiotemporal periodicity by

This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design are driven by, and abstract, the structure and operations of the emerging 300 mm semiconductor manufacturing fab, one of the most extensively automated environments in contemporary manufacturing. The key element of the controller design itself, which differentiates it from past efforts, is the distribution of the control function to the c

Sequential resource allocation among concurrently executing and competing processes is a valid and pertinent abstraction for the emerging technological applications, like flexibly automated production environments, driver-less transportation systems, and workflow management systems. In the resulting modeling framework, characterized as a sequential resource allocation system (RAS), the competition of the processes for the finite system resources gives rise to conflicting situations that need to

The emerging Web services provide an effective means to carry out automated transactions between multiple business parties. While there are several specific protocols currently being discussed to address the coordination of Web services-enabled business transactions, we consider the tentative hold protocol (THP) that allows the placement of tentative holds on business resources prior to actual transactions in order to provide increased flexibility in coordination. We present a framework for appl

FeedMil, a dedicated stream search engine, can help users retrieve dynamic real-time streams, focusing on quality and topic relevance rather than simple query matching.

The need for effective and efficient deadlock avoidance policies (DAPs) is ever increasing due to the higher demand for system automation. This paper considers the deadlock avoidance problem for the class of conjunctive/disjunctive (sequential) resource allocation systems (C/D-RAS), in which multiple resource acquisitions and flexible routings are allowed. A new siphon-based characterization of deadlocks arising in C/D-RAS is developed, and subsequently, this characterization facilitates the dev