Sciweavers

5353 search results - page 368 / 1071
» Modelling Contexts in the Or-BAC Model
Sort
View
CARS
2001
15 years 9 months ago
Design of a neurosurgical procedure model for multimodal image-guided surgery
: In multimodal image-guided surgery, surgeons have to manage large amounts of information (i.e. images) to plan and perform the surgical procedure. To facilitate management we att...
Pierre Jannin, M. Raimbault, Xavier Morandi, E. Se...
GAMEON
2003
15 years 9 months ago
Multi-Agent Based Modelling: from Social Simulation to Real Time Strategy Games
Simulation has been regarded as the third way to represent social models, alternative to other two symbol systems: the verbal argumentation and the mathematical one. Simulation ca...
Marco Remondino
DIMACS
1996
15 years 9 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
SPLC
2007
15 years 8 months ago
A Variability Modeling Method for Adaptable Services in Service-Oriented Computing
Publish-Discover-Compose paradigm of Service-Oriented Computing (SOC) presents a challenge on service applicability. Services are not just for predefined clients, rather for poten...
Soo Ho Chang, Soo Dong Kim
CN
2006
65views more  CN 2006»
15 years 7 months ago
Modeling web applications reacting to user behaviors
Many current research efforts address the problem of personalizing the Web experience for each user with respect to user's identity and/or context. In this paper we propose a...
Stefano Ceri, Florian Daniel, Federico Michele Fac...