Testing mobile computing applications: toward a scenario language and tools
WODA '08 Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services
Architecting Dependable Systems V
A concept for testing robustness and safety of the context-aware behaviour of autonomous systems
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
| Hi-index | 0.00 |
Symbolic computing is one of fastest growing areas of scientific computing. An overview of the state-of-the-art in symbolic computations on distributed architectures, in particular Web and Grid architectures, is presented. The background information, ...