3341 search results - page 404 / 669 » A Communication Virtual Machine |
167
click to vote
ICALT
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--jEditOQMath is an authoring tool for the intelligent learning environment ActiveMath. Its editing interface is a simple source editor. However the wealth and power of the...
127
Voted
ECTEL
2010
Springer
15 years 5 months ago
2010
Springer
As Technology Enhanced Learning (TEL) systems become more essential to education there is an increasing need for their creators to reduce risk and to design for success. We argue t...
144
click to vote
TCS
2010
15 years 3 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
166
click to vote
IPSN
2010
Springer
15 years 2 months ago
2010
Springer
Traffic patterns in manufacturing machines exhibit strong temporal correlations due to the underlying repetitive nature of their operations. A MAC protocol can potentially learn t...
138
click to vote
EUROSYS
2006
ACM
16 years 2 months ago
2006
ACM
Many stateful services use the replicated state machine approach for high availability. In this approach, a service runs on multiple machines to survive machine failures. This pap...