776 search results - page 150 / 156 » Transaction Support for Ada |
ISLPED
2004
ACM
14 years 27 days ago
2004
ACM
This paper presents a technique called “workload decomposition” in which the CPU workload is decomposed in two parts: on-chip and off-chip. The on-chip workload signifies the ...
SAC
2004
ACM
14 years 27 days ago
2004
ACM
Being E-commerce one of the most critical Internet application, it is fundamental to employ technologies which guarantee not only secure transactions but also an adequate quality ...
SIGECOM
2004
ACM
14 years 27 days ago
2004
ACM
We explore an alternative approach to spam based on economic rather than technological or regulatory screening mechanisms. We employ a model of email value which supports two intu...
ICCS
2004
Springer
14 years 26 days ago
2004
Springer
This paper presents a two-leveled mobile agent system for electronic commerce. It is based on mobile agents as mediators and uses the publish/subscribe paradigm for registration an...
MFCS
2004
Springer
14 years 25 days ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...