3142 search results - page 9 / 629 » A formal approach for designing CORBA based applications |
CAISE
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. The paper presents an approach towards executing transactions between enterprises, governmental bodies and banking institutions, based on ERP applications connected over ...
MIDDLEWARE
2001
Springer
13 years 12 months ago
2001
Springer
Although it has long been realised that ACID transactions by themselves are not adequate for structuring long-lived applications and much research work has been done on developing...
ANSOFT
2002
13 years 7 months ago
2002
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
FMICS
2007
Springer
14 years 1 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
: The semantic Web initiates new, high level access schemes to online content and applications. One area of superior need for a redefined content exploration is given by on-line ed...