Sciweavers

811 search results - page 6 / 163
» Flow Theory: An Enhancement
Sort
View
ECSA
2010
Springer
13 years 9 months ago
Model-based enhancement of software performance for precision critical systems
Architectural level analysis of a software system for its quality attributes is a proven cost-effective approach. This is particularly significant for performance, which defines m...
Naeem Muhammad, Nelis Boucké, Yolande Berbe...
FASE
2009
Springer
14 years 13 days ago
Object Flow Definition for Refined Activity Diagrams
Activity diagrams are a well-known means to model the control flow of system behavior. Their expressiveness can be enhanced by using their object flow notation. In addition, we ref...
Stefan Jurack, Leen Lambers, Katharina Mehner, Gab...
FM
2008
Springer
130views Formal Methods» more  FM 2008»
13 years 10 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
ECCV
2004
Springer
14 years 10 months ago
High Accuracy Optical Flow Estimation Based on a Theory for Warping
Abstract. We study an energy functional for computing optical flow that combines three assumptions: a brightness constancy assumption, a gradient constancy assumption, and a discon...
Thomas Brox, Andrés Bruhn, Nils Papenberg, ...
CISS
2008
IEEE
14 years 3 months ago
Game theory for heterogeneous flow control
—A general framework is developed for networks with flows that use all available congestion signals to regulate their rates. It is conceptually a generalization of the existing ...
Ao Tang, Lachlan L. H. Andrew