75 search results - page 13 / 15 » Interactive accounting simulation environment for accounting... |
SPIN
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
JCIT
2007
14 years 9 months ago
2007
It is, thus, not surprising that English education has gained more attention than ever and there also has been a growing amount of interest in learning English online. Although the...
106
click to vote
ICN
2009
Springer
15 years 2 months ago
2009
Springer
Securing group communications in resource constrained, infrastructure-less environments such as Mobile Ad Hoc Networks (MANETs) has become one of the most challenging research dire...
CORR
2011
Springer
14 years 1 months ago
2011
Springer
Animals living in groups make movement decisions that depend, among other factors, on social interactions with other group members. Our present understanding of social rules in an...
APGV
2008
ACM
14 years 11 months ago
2008
ACM
simulations compare to similar measurements done in more abstract settings. We find that participant tolerance for certain types of errors is significantly higher in a realistic sn...