Sciweavers

2680 search results - page 416 / 536
» The topology of the independence complex
Sort
View
ICSE
2001
IEEE-ACM
15 years 11 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
IWQOS
2001
Springer
15 years 11 months ago
On Creating Proportional Loss-Rate Differentiation: Predictability and Performance
— Recent extensions to the Internet architecture allow assignment of different levels of drop precedence to IP packets. This paper examines differentiation predictability and imp...
Ulf Bodin, Andreas Jonsson, Olov Schelén
MIDDLEWARE
2001
Springer
15 years 11 months ago
Thread Transparency in Information Flow Middleware
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...
Rainer Koster, Andrew P. Black, Jie Huang, Jonatha...
POLICY
2001
Springer
15 years 11 months ago
Policy Based SLA Management in Enterprise Networks
The Differentiated Services Architecture defines the mechanisms that are needed to offer multiple classes of services in an IP network. While this model offers significant scaling ...
Dinesh C. Verma, Mandis Beigi, Raymond B. Jennings...
CVPR
2000
IEEE
15 years 10 months ago
A Combined Feature-Texture Similarity Measure for Face Alignment under
We formulate face alignment as a model-based parameter estimation problem in this paper. First, we work within a framework that combines two separate subspace models to r epresent...
Lixin Fan, Kah Kay Sung