Sciweavers

5128 search results - page 355 / 1026
» Discrete Component Analysis
Sort
View
IANDC
2008
120views more  IANDC 2008»
15 years 7 months ago
A framework for compositional verification of security protocols
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
Suzana Andova, Cas J. F. Cremers, Kristian Gj&osla...
EMSOFT
2005
Springer
16 years 12 days ago
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
Ernesto Wandeler, Lothar Thiele
COMPGEOM
2001
ACM
15 years 10 months ago
Computational geometry for sculpture
This presentation illustrates examples of my geometric sculpture and outlines certain design techniques. I apply methods from the field of computational geometry to the creation o...
George W. Hart
BMVC
1998
15 years 8 months ago
Colour Profiling Using Multiple Colour Spaces
This paper presents an original method using colour histograms for flaw detection in automated industrial inspection. The colour histogram of an image is constructed by mapping th...
Nicola Duffy, Gerard Lacey
ICPR
2000
IEEE
16 years 8 months ago
Color and/or Texture Segmentation Using Deterministic Relaxation and Fast Marching Algorithms
The segmentation of colored texture images is considered. Either luminance, color, and/or texture features could be used for segmentation. For luminance and color the classes are ...
Spyros Liapis, Eftychios Sifakis, George Tziritas