Sciweavers

545 search results - page 3 / 109
» Concepts and models for typing events for event-based system...
Sort
View
ICDCSW
2002
IEEE
13 years 10 months ago
Real-Time Processing of Media Streams: A Case for Event-Based Interaction
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include the computational complexity of feature extracti...
Viktor S. Wold Eide, Frank Eliassen, Olav Lysne, O...
FM
2003
Springer
96views Formal Methods» more  FM 2003»
13 years 10 months ago
Event Based Sequential Program Development: Application to Constructing a Pointer Program
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
Jean-Raymond Abrial
FMOODS
2007
13 years 6 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
SEMCO
2007
IEEE
13 years 11 months ago
Eventory -- An Event Based Media Repository
This paper focuses on the development of an event driven media sharing repository to facilitate community awareness. In this paper, an event refers to a real-world occurrence that...
Xiang-jun Wang, Swathi Mamadgi, Atit Thekdi, Aisli...
ADVIS
2006
Springer
13 years 11 months ago
Structural and Event Based Multimodal Video Data Modeling
Investments on multimedia technology enable us to store many more reflections of the real world in digital world as videos. By recording videos about real world entities, we carry...
Hakan Öztarak, Adnan Yazici