100 search results - page 9 / 20 » A Pragmatic Implementation of e-Transactions |
FM
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
ENTCS
2006
13 years 9 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
GCSE
2000
Springer
14 years 1 months ago
2000
Springer
Combinations of C++ features, like inheritance, templates, and class nesting, allow for the expression of powerful component patterns. In particular, research has demonstrated that...
COLING
2000
13 years 11 months ago
2000
Pronolninalization has been related to tile idea of a local focus - a set of discourse entities in the speaker's centre of attention, for exmnple ill Gundel et al. (1993)...
FASE
2005
Springer
14 years 3 months ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...