467 search results - page 74 / 94 » Open bisimulation for aspects |
RAS
2002
13 years 9 months ago
2002
In this paper, we present a framework for a robotic system with the ability to perform real-world manipulation tasks. The complexity of such tasks determines the precision and fre...
SIGMETRICS
2002
ACM
13 years 9 months ago
2002
ACM
Being able to model contention for software resources (e.g., a critical section or database lock) is paramount to building performance models that capture all aspects of the delay...
IAJIT
2010
13 years 8 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
SCIENTOMETRICS
2010
13 years 8 months ago
2010
This paper revisits an aspect of citation theory (i.e., citer motivation) with respect to the Mathematical Review system and the reviewer’s role in mathematics. We focus on a se...
VR
2010
IEEE
13 years 8 months ago
2010
IEEE
People with a wide spectrum of disabilities, ranging from spinal injuries to autism, have benefited from equine assisted therapy (EAT). Using EAT, therapy patients have improved b...