Sciweavers

2811 search results - page 414 / 563
» Real-Time Component-Based Systems
Sort
View
SOFSEM
2009
Springer
14 years 7 months ago
Symbolic Reachability Analysis of Integer Timed Petri Nets
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
Min Wan, Gianfranco Ciardo
WECWIS
2009
IEEE
168views ECommerce» more  WECWIS 2009»
14 years 5 months ago
SARI-SQL: Event Query Language for Event Analysis
Complex Event Processing (CEP) systems are capable of processing large amounts of events, utilizing them to monitor, steer and optimize business in real time. The lack of tracking...
Szabolcs Rozsnyai, Josef Schiefer, Heinz Roth
RTCSA
2009
IEEE
14 years 5 months ago
PLL Based Time Synchronization in Wireless Sensor Networks
Abstract—Time synchronization is a key component in numerous wireless sensor network applications. Most of the current software based time synchronization approaches suffer from ...
Gang Zhou, Sachin Shetty, George Simms, Min Song
ISMAR
2009
IEEE
14 years 4 months ago
A setup for evaluating detectors and descriptors for visual tracking
In many cases, visual tracking is based on detecting, describing, and then matching local features. A variety of algorithms for these steps have been proposed and used in tracking...
Steffen Gauglitz, Tobias Höllerer, Petra Krah...
ICANNGA
2009
Springer
133views Algorithms» more  ICANNGA 2009»
14 years 4 months ago
Visualizing Time Series State Changes with Prototype Based Clustering
Modern process and condition monitoring systems produce a huge amount of data which is hard to analyze manually. Previous analyzing techniques disregard time information and concen...
Markus Pylvänen, Sami Äyrämö, ...