Sciweavers

8695 search results - page 1278 / 1739
» Making the Complex Simple
Sort
View
NOSSDAV
2001
Springer
15 years 9 months ago
A comparison of layering and stream replication video multicast schemes
The heterogeneity of the Internet’s transmission resources and end system capability makes it difficult to agree on acceptable traffic characteristics among the multiple receive...
Taehyun Kim, Mostafa H. Ammar
POLICY
2001
Springer
15 years 9 months ago
The Ponder Policy Specification Language
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...
Nicodemos Damianou, Naranker Dulay, Emil Lupu, Mor...
SPIN
2001
Springer
15 years 9 months ago
Addressing Dynamic Issues of Program Model Checking
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
Flavio Lerda, Willem Visser
UML
2001
Springer
15 years 9 months ago
Refactoring UML Models
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...
Gerson Sunyé, Damien Pollet, Yves Le Traon,...
CVPR
2000
IEEE
15 years 9 months ago
Perceptual Grouping and Segmentation by Stochastic Clustering
We use cluster analysis as a unifying principle for problems from low, middle and high level vision. The clustering problem is viewed as graph partitioning, where nodes represent ...
Yoram Gdalyahu, Noam Shental, Daphna Weinshall
« Prev « First page 1278 / 1739 Last » Next »