Sciweavers

2996 search results - page 209 / 600
» Information Modeling in the Time of the Revolution
Sort
View
BPM
2005
Springer
113views Business» more  BPM 2005»
16 years 4 days ago
Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models
Most information systems log events (e.g., transaction logs, audit trails) to audit and monitor the processes they support. At the same time, many of these processes have been expl...
Anne Rozinat, Wil M. P. van der Aalst
INFOCOM
2009
IEEE
16 years 1 months ago
Exact Analysis of Latency of Stateless Opportunistic Forwarding
Abstract—Stateless opportunistic forwarding is a simple faulttolerant distributed approach for data delivery and information querying in wireless ad hoc networks, where packets a...
Chi-Kin Chau, Prithwish Basu
TIT
2008
84views more  TIT 2008»
15 years 6 months ago
Optimal Universal Schedules for Discrete Broadcast
In this paper we study the scenario in which a server sends dynamic data over a single broadcast channel to a number of passive clients. We consider the data to consist of discret...
Michael Langberg, Alexander Sprintson, Jehoshua Br...
ICMCS
2006
IEEE
129views Multimedia» more  ICMCS 2006»
16 years 19 days ago
Media Synchronization Method for Video Hypermedia Application Based on Extended Event Model
This paper describes a proposal of an extended event model using a media synchronization method for video hypermedia applications. In this extended event model, video and metadata...
Hironobu Abe, Hiroshi Shigeno, Ken-ichi Okada
ATVA
2008
Springer
104views Hardware» more  ATVA 2008»
15 years 8 months ago
A Direct Algorithm for Multi-valued Bounded Model Checking
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
Jefferson O. Andrade, Yukiyoshi Kameyama