Sciweavers

134 search results - page 2 / 27
» Modeling semantics and structure of discussion threads
Sort
View
ENTCS
2007
116views more  ENTCS 2007»
13 years 5 months ago
DisCComp - A Formal Model for Distributed Concurrent Components
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
Andreas Rausch
ACSD
2010
IEEE
215views Hardware» more  ACSD 2010»
13 years 3 months ago
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
Mike Gemunde, Jens Brandt, Klaus Schneider
CIKM
2004
Springer
13 years 10 months ago
Event threading within news topics
With the overwhelming volume of online news available today, there is an increasing need for automatic techniques to analyze and present news to the user in a meaningful and effi...
Ramesh Nallapati, Ao Feng, Fuchun Peng, James Alla...
EDO
2000
Springer
13 years 9 months ago
Using Model Checking to Detect Deadlocks in Distributed Object Systems
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
Nima Kaveh
ICMCS
2000
IEEE
138views Multimedia» more  ICMCS 2000»
13 years 9 months ago
Structural and Semantic Analysis of Video
In this paper we discuss our recent research and open issues in structural and semantic analysis of digital videos. Specifically, we focus on segmentation, summarization and class...
Shih-Fu Chang, Hari Sundaram