Sciweavers

636 search results - page 82 / 128
» The AXML Artifact Model
Sort
View
ICFEM
2009
Springer
14 years 2 months ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy
OOPSLA
2010
Springer
13 years 6 months ago
Collaborative model merging
Models are important artifacts in the software development life-cycle and are often the result of a collaborative activity of multiple developers. When multiple developers modify ...
Maximilian Koegel, Helmut Naughton, Jonas Helming,...
IJCV
2008
242views more  IJCV 2008»
13 years 7 months ago
3D Urban Scene Modeling Integrating Recognition and Reconstruction
Supplying realistically textured 3D city models at ground level promises to be useful for pre-visualizing upcoming traffic situations in car navigation systems. Because this previs...
Nico Cornelis, Bastian Leibe, Kurt Cornelis, Luc J...
VMV
2001
131views Visualization» more  VMV 2001»
13 years 9 months ago
Shape Model and Threshold Extraction via Shape Gradients
Shape information is utilized by numerous applications in computer vision, scientific visualization and computer graphics. This paper presents a novel algorithm for exploring and ...
Roger C. Tam, Alain Fournier
CCCG
2001
13 years 9 months ago
Line voronoi diagram based interpolation and application to digital terrain modelling
Local coordinates based on the Voronoi diagram are used in natural neighbour interpolation to quantify the "neighbourliness" of data sites. In an earlier paper, we have ...
Francois Anton, Darka Mioc, Christopher M. Gold