100 search results - page 12 / 20 » A Pragmatic Implementation of e-Transactions |
DIAGRAMS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
ICALT
2003
IEEE
14 years 3 months ago
2003
IEEE
This position paper discusses different philosophical views of learning and the consequences of these different epistemologies on the design of online learning environments. Acade...
GI
2001
Springer
14 years 2 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
WOSP
2000
ACM
14 years 2 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
ECAI
1994
Springer
14 years 1 months ago
1994
Springer
This paper presents a lexical model dedicated to the semantic representation and interpretation of individual words in unrestricted text, where sense discrimination is difficult t...