17680 search results - page 735 / 3536 » Simulation of Computer Systems and Applications |
208
click to vote
MMB
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
187
Voted
FLAIRS
2004
15 years 8 months ago
2004
In human-human conversation, people use linguistic expressions that are flexibly tailored to context as a matter of course, and they expect their conversational partners to do lik...
226
click to vote
JCP
2008
15 years 7 months ago
2008
Grid technologies enable the sharing of a wide variety of distributed resources. To utilize these resources, effective Resource Management systems are needed. Resource Management s...
205
Voted
ENTCS
2011
15 years 2 months ago
2011
SUBSEXPL is a system originally developed to visualise reductions, simplifications and normalisations in three important calculi of explicit substitutions and has been applied to...
212
Voted
VR
2002
IEEE
16 years 10 days ago
2002
IEEE
This paper focuses on the distributed architecture of the collaborative augmented reality system Studierstube. The system allows multiple users to experience a shared 3D workspace...