3713 search results - page 277 / 743 » Quantum Information Theory |
85
Voted
ENTCS
2008
15 years 23 days ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
87
Voted
IJMMS
2006
15 years 21 days ago
2006
Based on the expectancy disconfirmation theory, this study proposes a decomposed technology acceptance model in the context of an e-learning service. In the proposed model, the pe...
127
Voted
JCT
2006
15 years 20 days ago
2006
Abstract. We introduce "matroid parse trees" which, using only a limited amount of information at each node, can build up the vector representations of matroids of bounde...
103
click to vote
JLP
2007
15 years 18 days ago
2007
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
CORR
2004
Springer
15 years 16 days ago
2004
Springer
Often adaptive, distributed control can be viewed as an iterated game between independent players. The coupling between the players' mixed strategies, arising as the system ev...