Sciweavers

9509 search results - page 395 / 1902
» Complex Event Processing
Sort
View
SEFM
2008
IEEE
16 years 1 months ago
Restricted Broadcast Process Theory
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
IPPS
2007
IEEE
16 years 1 months ago
Using Rewriting Logic to Match Patterns of Instructions from a Compiler Intermediate Form to Coarse-Grained Processing Elements
This paper presents a new and retargetable method to identify patterns of instructions with direct support in coarsegrained processing elements (PEs). The method uses a three-addr...
Carlos Morra, João M. P. Cardoso, Jürg...
ICECCS
2006
IEEE
126views Hardware» more  ICECCS 2006»
16 years 27 days ago
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC
Abstract— Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC [6] for model driven mediation and choreography to comp...
Tiziana Margaria, Christian Kubczak, Marc Njoku, B...
MIRRORBOT
2005
Springer
144views Robotics» more  MIRRORBOT 2005»
16 years 10 days ago
Combining Visual Attention, Object Recognition and Associative Information Processing in a NeuroBotic System
We have implemented a neurobiologically plausible system on a robot that integrates visual attention, object recognition, language and action processing using a coherent cortex-lik...
Rebecca Fay, Ulrich Kaufmann, Andreas Knoblauch, H...
WEBI
2005
Springer
16 years 10 days ago
IPR: Automated Interaction Process Reconciliation
Inter-organizational business processes usually require complex and time-consuming interactions between partners than simple interactions supported by WSDL. Automated reconciliati...
Zongxia Du, Jinpeng Huai, Yunhao Liu, Chunming Hu,...