Sciweavers

4211 search results - page 120 / 843
» A formal approach to MASQ
Sort
View
102
Voted
JCPHY
2011
79views more  JCPHY 2011»
14 years 3 months ago
Stochastic Eulerian Lagrangian methods for fluid-structure interactions with thermal fluctuations
A computational approach is introduced for the study of the rheological properties of complex fluids and soft materials. The approach allows for a consistent treatment of microstr...
Paul J. Atzberger
LOGCOM
1998
132views more  LOGCOM 1998»
15 years 13 days ago
Agents That Reason and Negotiate by Arguing
The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a...
Simon Parsons, Carles Sierra, Nicholas R. Jennings
BIRTHDAY
2010
Springer
14 years 11 months ago
Specifying and Verifying Organizational Security Properties in First-Order Logic
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell–La Padula. We show t...
Christoph Brandt, Jens Otten, Christoph Kreitz, Wo...
87
Voted
ISOLA
2010
Springer
14 years 11 months ago
A Theory of Mediators for Eternal Connectors
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
Paola Inverardi, Valérie Issarny, Romina Sp...
88
Voted
MIAR
2010
IEEE
14 years 11 months ago
Automatic Computation of Electrodes Trajectory for Deep Brain Stimulation
In this paper, we propose an approach to find the optimal position of an electrode, for assisting surgeons in planning Deep Brain Stimulation. We first show how we formalized the...
Caroline Essert, Claire Haegelen, Pierre Jannin