767 search results - page 77 / 154 » Logic for Mathematical Writing |
159
click to vote
MKM
2009
Springer
15 years 11 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
154
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
In XML databases, new schema versions may be released as frequently as once every two weeks. This poster describes a taxonomy of changes for XML schema evolution. It examines the ...
170
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
149
click to vote
IFL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
128
click to vote
SIGMOD
2005
ACM
15 years 10 months ago
2005
ACM
There is a class of data, including messages and business workflow state, for which conventional monolithic databases are less than ideal. Performance and scalability of Applicati...