6574 search results - page 246 / 1315 » Current Signatures: Application |
148
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
This paper shows a rigorous approach based on algebraic specications and rewriting logic which makes up for the lack of current transformation languages and oers a balanced rigour-...
182
click to vote
SEBD
2007
15 years 8 months ago
2007
We present the current version of STRIDER1 , a versatile system for the disambiguation of structure-based information like XML schemas, structures of XML documents and web director...
176
click to vote
DAM
2007
15 years 6 months ago
2007
The papers in this special issue originated at SAT 2001, the Fourth International Symposium on the Theory and Applications of Satisfiability Testing. This foreword reviews the cu...
161
click to vote
INFORMATICALT
2000
15 years 6 months ago
2000
Abstract. The survey of the current status in ontological engineering is presented: notion, peculiarities, applications, design and evaluation of ontologies. The possibilities of u...
182
click to vote
ACSC
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper we shall introduce a new electronic payment concept based on the popular direct debit payment model, entitled periodical payments. The direct debit model currently i...