Sciweavers

4866 search results - page 195 / 974
» UML for Global Computing
Sort
View
BMVC
2001
15 years 7 months ago
Salient Points for Content-Based Retrieval
In image retrieval, global features related to color or texture are commonly used to describe the image content. The use of interest points in contentbased image retrieval allows ...
Nicu Sebe, Michael S. Lew
CONCUR
2004
Springer
15 years 10 months ago
Parameterised Boolean Equation Systems (Extended Abstract)
Systems (extended abstract) Simona Orzan and Tim A.C. Willemse Department of Mathematics and Computer Science, Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, T...
Jan Friso Groote, Tim A. C. Willemse
CONCUR
2008
Springer
15 years 6 months ago
Invariants for Parameterised Boolean Equation Systems
The concept of invariance for Parameterised Boolean Equation Systems (PBESs) is studied in greater detail. We identify an issue with the associated theory and fix this problem by p...
Simona Orzan, Tim A. C. Willemse
GLOBE
2009
Springer
15 years 9 months ago
Designing, Specifying and Querying Metadata for Virtual Data Integration Systems
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...
Leopoldo E. Bertossi, Gayathri Jayaraman
ENTCS
2006
104views more  ENTCS 2006»
15 years 4 months ago
Paradigm as Organization-Oriented Coordination Language
Global component behaviours as distinguished in Paradigm, offer the ingredients for specifying inter-component coordination in separation from and consistent with detailed compone...
Luuk Groenewegen, A. W. Stam, Pieter J. Toussaint,...