Sciweavers

1511 search results - page 230 / 303
» Event Processing - past, present and future
Sort
View
ASE
2006
114views more  ASE 2006»
13 years 9 months ago
Explicit modeling of semantics associated with composite states in UML statecharts
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
Zhaoxia Hu, Sol M. Shatz
ENTCS
2006
109views more  ENTCS 2006»
13 years 9 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
JNW
2008
167views more  JNW 2008»
13 years 9 months ago
Analyzing the ENRON Communication Network Using Agent-Based Simulation
Agent-based modeling, simulation, and network analysis approaches are one of the emergent techniques among soft computing literature. This paper presents an agent-based model for a...
Shinako Matsuyama, Takao Terano
JGS
2010
105views more  JGS 2010»
13 years 7 months ago
Testing for spatial association of qualitative data using symbolic dynamics
Qualitative spatial variables are important in many fields of research. However, unlike the decades-worth of research devoted to the spatial association of quantitative variables, ...
Manuel Ruiz, Fernando López, Antonio P&aacu...
MM
2010
ACM
129views Multimedia» more  MM 2010»
13 years 7 months ago
Facilitating interactive search and navigation in videos
We present a tool that can efficiently facilitate interactive navigation and search in videos. In addition to browsing a video by shots it also allows a user to navigate through a...
Klaus Schoeffmann