Sciweavers

EPEW
2006
Springer
15 years 6 months ago
Model Checking for a Class of Performance Properties of Fluid Stochastic Models
Abstract. Recently, there is an explosive development of fluid approaches to computer and distributed systems. These approaches are inherently stochastic and generate continuous st...
Manuela L. Bujorianu, Marius C. Bujorianu
EPEW
2006
Springer
15 years 6 months ago
Functional Performance Specification with Stochastic Probes
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
Ashok Argent-Katwala, Jeremy T. Bradley
ENTER
2006
Springer
15 years 6 months ago
A Field Trial to Elicit Individual Preferences in the Context of a Mobile Dynamic Tour Guide
Knowing tourists' individual preferences provides the possibility to offer personalised tours. The challenge is to capture these preferences using a mobile device. During a f...
Ronny Kramer, Marko Modsching, Klaus ten Hagen, Ul...
ENTER
2006
Springer
15 years 6 months ago
An Agent-Based Architecture for Museum Visitors' Guide Systems
Recent developments in museum visitors' guides focus on context awareness, personalization and multimodal and multimedia information presentation to individuals and groups of...
Tsvi Kuflik, Adriano Albertini, Paolo Busetta, Ces...
ENTER
2006
Springer
15 years 6 months ago
Attracting Visitors - Using Computer Games Technology to Build a VR-Museum
A cultural institution such as a museum needs to attract visitors. Due to the fact that Internet has become an important information and marketing channel, the question of using a...
Ingvar Tjøstheim, Joachim Lous