Sciweavers

1371 search results - page 110 / 275
» A Model for Large Scale Self-Stabilization
Sort
View
ICMCS
2006
IEEE
149views Multimedia» more  ICMCS 2006»
15 years 10 months ago
Video Texture and Motion based Modeling of Rate Variability-Distortion (VD) Curves of I, P, and B Frames
We examine the bit rate variability-distortion (VD) curve of I, P, and B frames of MPEG-4 VBR encoded video sequences. We show that the concave VD curve shape at high compression ...
Geert Van Der Auwera, Martin Reisslein, Lina J. Ka...
UML
2001
Springer
15 years 8 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
ICCAD
2005
IEEE
96views Hardware» more  ICCAD 2005»
16 years 22 days ago
A more reliable reduction algorithm for behavioral model extraction
— In this paper we are concerned with developing more reliable model reduction algorithms. We have focused on less common, but real, examples that fail to be effectively reduced ...
Dmitry Vasilyev, Jacob K. White
ICCS
2009
Springer
15 years 10 months ago
A Parallel High-Order Discontinuous Galerkin Shallow Water Model
The depth-integrated shallow water equations are frequently used for simulating geophysical flows, such as storm-surges, tsunamis and river flooding. In this paper a parallel sha...
Claes Eskilsson, Yaakoub El Khamra, David Rideout,...
118
Voted
MODELS
2007
Springer
15 years 10 months ago
A UML2 Profile for Service Modeling
In this article we provide an embedding of an interaction-based service notion into UML2. Such an embedding is needed, because to this date, UML2 has only limited support for servi...
Vina Ermagan, Ingolf H. Krüger