Sciweavers

3099 search results - page 41 / 620
» Generating Web Monitors
Sort
View
ECOWS
2010
Springer
13 years 8 months ago
Shepherd: node monitors for fault-tolerant distributed process execution in OSIRIS
OSIRIS is a middleware for the composition and orchestration of distributed web services that follows a P2P decentralized approach to process execution, providing already some deg...
Diego Milano, Nenad Stojnic
DAC
2003
ACM
14 years 11 months ago
Using a formal specification and a model checker to monitor and direct simulation
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
Serdar Tasiran, Yuan Yu, Brannon Batson
EDM
2010
173views Data Mining» more  EDM 2010»
13 years 10 months ago
Using LiMS (the Learner Interaction Monitoring System) to Track Online Learner Engagement and Evaluate Course Design
This poster will describe the Learner Interaction Monitoring System (LiMS), designed to capture data demonstrating learner online engagement with course materials. The poster prese...
Leah Macfadyen, Peter Sorenson
BIOCOMP
2009
13 years 11 months ago
Monitoring Influenza Trends through Mining Social Media
Analysis of Google Influenza-like-illness (ILI) search queries has shown a strongly correlated pattern with Center for Disease Control and Prevention seasonal ILI reporting data. W...
Courtney Corley, Armin R. Mikler, Karan P. Singh, ...
ECAI
2004
Springer
14 years 3 months ago
SPortS: Semantic + Portal + Service
Ontology-based web portal generation and management is an active field of research and development. Recently, many systems have been developed. However, many of them lack the inte...
Chenxi Lin, Lei Zhang, Jian Zhou, Yin Yang, Yong Y...