Sciweavers

938 search results - page 38 / 188
» Mathematical Modelling the Ethnic System
Sort
View
IJACTAICIT
2010
146views more  IJACTAICIT 2010»
15 years 2 months ago
Modeling and Simulation of a Pervasive Multimodal Multimedia Computing System for Visually-Impaired Users
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...
Ali Awde, Moeiz Miraoui, Chakib Tadj, Yacine Belli...
155
Voted
ENTCS
2007
101views more  ENTCS 2007»
15 years 5 months ago
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
David J. Pym, Chris M. N. Tofts
EMSOFT
2004
Springer
15 years 11 months ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...
BIRTHDAY
2004
Springer
15 years 11 months ago
On the Formal Modelling of Trust in Reputation-Based Systems
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
Mogens Nielsen, Karl Krukow
143
Voted
WSC
2004
15 years 6 months ago
Modeling Time and Space Metering of Flights in the National Airspace System
Metering flights at key points such as sector crossings is an important operational procedure in mitigating National Airspace System (NAS) traffic congestion due to high demand or...
Paul T. R. Wang, Craig R. Wanke, Frederick P. Wiel...