Sciweavers

4755 search results - page 464 / 951
» An Implementation Model for Collaborative Applications
Sort
View
CODES
2008
IEEE
15 years 6 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
SOSYM
2010
176views more  SOSYM 2010»
15 years 3 months ago
On challenges of model transformation from UML to Alloy
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
ICDE
2008
IEEE
135views Database» more  ICDE 2008»
16 years 6 months ago
Online Filtering, Smoothing and Probabilistic Modeling of Streaming data
In this paper, we address the problem of extending a relational database system to facilitate efficient real-time application of dynamic probabilistic models to streaming data. he ...
Bhargav Kanagal, Amol Deshpande
BIBE
2008
IEEE
204views Bioinformatics» more  BIBE 2008»
15 years 11 months ago
2D Oculomotor Plant Mathematical Model for eye movement simulation
-This paper builds a two dimensional Oculomotor Plant Mathematical Model (2DOPMM) that is capable of generating eye movement trace on a two dimensional plane. The key difference be...
Oleg Komogortsev, Ukwatta K. S. Jayarathna
EDOC
2007
IEEE
15 years 11 months ago
Getting Rid of the OR-Join in Business Process Models
Abstract— In practice, the development of process-aware information systems suffers from a gap between conceptual business process models and executable workflow specifications...
Jan Mendling, Boudewijn F. van Dongen, Wil M. P. v...