1788 search results - page 198 / 358 » Model Theory for Process Algebra |
131
click to vote
TAMODIA
2008
15 years 5 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...
143
Voted
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
142
click to vote
CJ
2010
15 years 1 months ago
2010
an be used to abstract away from the physical reality by describing it as components that exist in discrete states with probabilistically invoked actions that change the state. The...
146
click to vote
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
Structured documents contain elements defined by the author(s) and annotations assigned by other people or processes. Structured documents pose challenges for probabilistic retrie...
120
click to vote
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Although recent advances in theory indicate that burstiness in the service time process can be handled effectively by queueing models (e.g., MAP queueing networks [2]), there is a...