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...
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...
This poster will describe the Learner Interaction Monitoring System (LiMS), designed to capture data demonstrating learner online engagement with course materials. The poster prese...
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, ...
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...