310 search results - page 48 / 62 » A language and framework for invariant-driven transformation... |
IFIP
2009
Springer
14 years 2 months ago
2009
Springer
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...
GIAE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper introduces the mathematical framework of conformal geometric algebra (CGA) as a language for computer graphics and computer vision. Specifically it discusses ...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
The eXtensible Markup Language (XML) is regarded generally as having promise of becoming established as the general purpose framework for enabling transfer of data amongst heterog...
ISPAN
1997
IEEE
14 years 2 hour ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...
JODS
2006
13 years 7 months ago
2006
W3C's Semantic Web provides a common framework that allows data to be shared and reused across application and enterprise. As the Semantic Web shapes the future of the Web, it...