2088 search results - page 317 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
155
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
204
click to vote
VIS
2009
IEEE
16 years 7 months ago
2009
IEEE
This paper formalizes a novel, intrinsic geometric scale space (IGSS) of 3D surface shapes. The intrinsic geometry of a surface is diffused by means of the Ricci flow for the gener...
154
click to vote
RAS
2008
15 years 5 months ago
2008
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
176
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
163
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Correctness of data residing in a database is vital. While integrity constraint enforcement can often ensure data consistency, it is inadequate to protect against updates that inv...