67 search results - page 12 / 14 » Design and verification of long-running transactions in a ti... |
ACMICEC
2005
ACM
14 years 1 months ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
WORDS
2002
IEEE
14 years 11 days ago
2002
IEEE
Distributed programming is applicable in a wide range of domains such as control systems. These systems are subject to mutable environments and must also provide a time varying ad...
AMW
2010
13 years 9 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
KBSE
2010
IEEE
13 years 5 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...
ENTCS
2008
13 years 7 months ago
2008
Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivity in the area of embedded systems. Since many system functions are only execute...