7099 search results - page 215 / 1420 » Context for models of concurrency |
213
click to vote
UIALL
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Recent trends in software development directed toward intelligence, distribution, and mobility need to be followed by an increased sophistication in user interface design...
233
click to vote
WWIC
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. The widespread availability of both fixed and wireless network connectivity and the growing market of portable devices are enabling anytime and anywhere impromptu collabo...
168
click to vote
FGR
2002
IEEE
16 years 5 days ago
2002
IEEE
This paper presents two novel likelihood terms for silhouettes and contours in model-based contexts. Despite the power of such formulations, building likelihoods that truly refle...
220
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
193
click to vote
ICTCS
2003
Springer
16 years 12 days ago
2003
Springer
The algebraic models of computation for contextual nets that have been proposed in the literature either rely on a non-free monoid of objects, or introduce too many fictitious beh...