1256 search results - page 145 / 252 » A Model of Interaction in Concurrent and Distributed Systems |
149
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
150
Voted
EUROCRYPT
2008
Springer
15 years 5 months ago
2008
Springer
The Universal Composability framework was introduced by Canetti to study the security of protocols which are concurrently executed with other protocols in a network environment. U...
174
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Models of agent-environment interaction that use predictive state representations (PSRs) have mainly focused on the case of discrete observations and actions. The theory of discre...
132
click to vote
ERCIM
2007
15 years 3 months ago
2007
sented by abstract mathematical structures, and visualization is used to convert these into pictures. At the core of every simulation is a mathematical model that is evaluated by a...
134
Voted
UM
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes user modelling in I-Help, a system to facilitate communication amongst learners. There are two I-Help components: Private and Public Discussions. In the Privat...