427 search results - page 50 / 86 » Simulation of Advanced Transaction Models Using GOLOG |
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
SIGSOFT
2004
ACM
14 years 2 months ago
2004
ACM
Rapid advances in wireless networking technologies have enabled mobile devices to be connected anywhere and anytime. While roaming, applications on these devices dynamically disco...
ACMICEC
2004
ACM
14 years 2 months ago
2004
ACM
In this paper, we describe the operation of barter trade exchanges by identifying key techniques used by trade brokers to stimulate trade and satisfy member needs, and present alg...
IMECS
2007
13 years 10 months ago
2007
—Workload characterisation and generation is becoming an increasingly important area as hardware and application complexities continue to advance. In this paper, we introduce a c...
COOPIS
2002
IEEE
14 years 1 months ago
2002
IEEE
Rapid advances in networking, hardware, and middleware technologies are facilitating the development and deployment of complex grid applications, such as large-scale distributed co...