Sciweavers

1261 search results - page 114 / 253
» A Hierarchy of Temporal Properties
Sort
View
CGI
2006
IEEE
14 years 4 months ago
Non-uniform Differential Mesh Deformation
Abstract. In this paper, we propose a novel mesh deformation approach via manipulating differential properties non-uniformly. Guided by user-specified material properties, our met...
Dong Xu, Hongxin Zhang, Hujun Bao
WWW
2008
ACM
14 years 10 months ago
Scaling RDF with time
The World Wide Web Consortium's RDF standard primarily consists of (subject,property,object) triples that specify the value that a given subject has for a given property. How...
Andrea Pugliese, Octavian Udrea, V. S. Subrahmania...
VLDB
2007
ACM
93views Database» more  VLDB 2007»
14 years 4 months ago
Seeking Stable Clusters in the Blogosphere
The popularity of blogs has been increasing dramatically over the last couple of years. As topics evolve in the blogosphere, keywords align together and form the heart of various ...
Nilesh Bansal, Fei Chiang, Nick Koudas, Frank Wm. ...
RE
2010
Springer
13 years 4 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
PODS
2008
ACM
110views Database» more  PODS 2008»
14 years 10 months ago
Static analysis of active XML systems
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
Serge Abiteboul, Luc Segoufin, Victor Vianu