Sciweavers

813 search results - page 41 / 163
» Learning semantic models from event logs
Sort
View
IFM
2010
Springer
203views Formal Methods» more  IFM 2010»
14 years 9 months ago
A CSP Approach to Control in Event-B
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
Steve Schneider, Helen Treharne, Heike Wehrheim
TREC
2001
15 years 17 days ago
Integrating Features, Models, and Semantics for TREC Video Retrieval
In this paper, we describe a system for automatic and interactive content-based retrieval of video that integrates features, models, and semantics. The novelty of the approach lie...
John R. Smith, Savitha Srinivasan, Arnon Amir, San...
ICC
2009
IEEE
150views Communications» more  ICC 2009»
15 years 6 months ago
Modeling Human Behavior for Defense Against Flash-Crowd Attacks
—Flash-crowd attacks are the most vicious form of distributed denial of service (DDoS). They flood the victim with service requests generated from numerous bots. Attack requests...
Georgios Oikonomou, Jelena Mirkovic
IHIS
2005
ACM
15 years 4 months ago
An architecture for the interoperability of workflow models
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...
Salah Hamri, Mahmoud Boufaïda, Nacer Boudjlid...
CORR
2009
Springer
100views Education» more  CORR 2009»
14 years 9 months ago
Programming Idioms for Transactional Events
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...
Matthew Kehrt, Laura Effinger-Dean, Michael Schmit...