9412 search results - page 157 / 1883 » An aspect-oriented generative approach |
172
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
177
click to vote
MMM
2003
Springer
15 years 11 months ago
2003
Springer
Virtual Worlds are computer-hosted visual environments that create the effect of an interactive three-dimensional world in which objects have a sense of spatial and physical prese...
173
click to vote
WISE
2003
Springer
15 years 11 months ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
176
click to vote
SIBGRAPI
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a real-time shadow generation algorithm for polygonal environments illuminated by movable point light sources. The main goal is to quickly reduce the number o...
152
click to vote
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Mapping specification has been recognised as a critical bottleneck to the large scale deployment of data integration systems. A mapping is a description using which data structured...