Sciweavers

3335 search results - page 295 / 667
» A Unified Approach to Modeling and Programming
Sort
View
JUCS
2008
172views more  JUCS 2008»
15 years 6 months ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley
JSS
2006
88views more  JSS 2006»
15 years 6 months ago
A formal representation of functional size measurement methods
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
Marjan Hericko, Ivan Rozman, Ales Zivkovic
TON
2008
136views more  TON 2008»
15 years 6 months ago
Density-based anycast: a robust routing strategy for wireless ad hoc networks
Abstract--Existing anycast routing protocols solely route packets to the closest group member. In this paper, we introduce density-based anycast routing, a new anycast routing para...
Vincent Lenders, Martin May, Bernhard Plattner
ICCV
2007
IEEE
16 years 8 months ago
A Globally Optimal Algorithm for Robust TV-L1 Range Image Integration
Robust integration of range images is an important task for building high-quality 3D models. Since range images, and in particular range maps from stereo vision, may have a substa...
Christopher Zach, Thomas Pock, Horst Bischof
SAC
2003
ACM
15 years 12 months ago
WebSOGO: A Global Ontology for Describing Web Sources
Based on the limitations raised by existing approaches in the context of the Semantic Web, we propose a formalism, Web Sources Global Ontology (WebSOGO), a data meta-model for the...
Edna Ruckhaus, Maria-Esther Vidal