859 search results - page 12 / 172 » Behaviour Analysis of Distributed Systems Using the Tracta A... |
IEAAIE
2004
Springer
14 years 1 months ago
2004
Springer
The main issue in e-learning is student modelling, i.e. the analysis of a student’s behaviour and prediction of his/her future behaviour and learning performance. Indeed, it is d...
SBMF
2009
Springer
14 years 5 days ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
AINA
2006
IEEE
14 years 1 months ago
2006
IEEE
With the huge number of information sources available on the Internet, Peer-to-Peer (P2P) systems offer a novel kind of system architecture providing the large-scale community wit...
COLCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
In contrast to a large body of theoretical work on computer systems, distributed systems are not idealised constructions, unconstrained by physical world limitations. They must be...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— We consider the problem of designing controllers for spatially-varying interconnected systems distributed in one spatial dimension. The matrix structure of such systems can be ...