Sciweavers

717 search results - page 65 / 144
» Efficient operating system support for group unicast
Sort
View
DSN
2000
IEEE
15 years 2 months ago
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...
Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna,...
FTDCS
1997
IEEE
15 years 2 months ago
Toward globally optimal resource management in large-scale real-time distributed computer systems
: This paper discusses the issues and promising approaches in (1) obtaining rigorous specifications of the quality-of-service (QoS) requirements associated with application functio...
K. H. Kim
ATVA
2008
Springer
159views Hardware» more  ATVA 2008»
14 years 11 months ago
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
John Håkansson, Jan Carlson, Aurelien Monot,...
MM
2003
ACM
145views Multimedia» more  MM 2003»
15 years 3 months ago
Proscenium: a framework for spatio-temporal video editing
We present an approach to video editing where movie sequences are treated as spatio-temporal volumes that can be sheered and warped under user control. This simple capability enab...
Eric P. Bennett, Leonard McMillan
HICSS
2007
IEEE
96views Biometrics» more  HICSS 2007»
15 years 4 months ago
Enhancing Workflow Automation in Insurance Underwriting Processes with Web Services and Alerts
Underwriting is one of the important processes in insurance operations. The applicant's information, including various kinds of medical information, must be evaluated before ...
Raymond C. M. Lee, Kai-Pan Mark, Dickson K. W. Chi...