Sciweavers

4737 search results - page 752 / 948
» The LOGIC negotiation model
Sort
View
SOFTVIS
2005
ACM
16 years 22 days ago
Visualization of mobile object environments
This paper presents a system for visualizing mobile object frameworks. In such frameworks, the objects can migrate to remote hosts, along with their state and behavior, while the ...
Yaniv Frishman, Ayellet Tal
CCS
2005
ACM
16 years 21 days ago
Formal security analysis of basic network-attached storage
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
Avik Chaudhuri, Martín Abadi
FASE
2005
Springer
16 years 21 days ago
Improving the Build Architecture of Legacy C/C++ Software Systems
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
Homayoun Dayani-Fard, Yijun Yu, John Mylopoulos, P...
206
Voted
FSKD
2005
Springer
141views Fuzzy Logic» more  FSKD 2005»
16 years 21 days ago
Spatial Homogeneity-Based Fuzzy c-Means Algorithm for Image Segmentation
Abstract. A fuzzy c-means algorithm incorporating the notion of dominant colors and spatial homogeneity is proposed for the color clustering problem. The proposed algorithm extract...
Bo-Yeong Kang, Dae-Won Kim, Qing Li
INEX
2005
Springer
16 years 20 days ago
TIJAH Scratches INEX 2005: Vague Element Selection, Image Search, Overlap, and Relevance Feedback
Retrieving information from heterogeneous data sources in a flexible manner and within a single (database) framework is still a challenge. In this paper we present several extensi...
Vojkan Mihajlovic, Georgina Ramírez, Thijs ...