A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras
IICS '02 Proceedings of the Second International Workshop on Innovative Internet Computing Systems
WHAT: Web-Based Haskell Adaptive Tutor
AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Encoding PAMR into (Timed) EFSMs
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Including Malicious Agents into a Collaborative Learning Environment
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
A multi-agent system for e-barter including transaction and shipping costs
Proceedings of the 2003 ACM symposium on Applied computing
Formal specification of multi-agent e-barter systems
Science of Computer Programming
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
A Hierarchical Methodology to Specify and Simulate Complex Computational Systems
ICCS '09 Proceedings of the 9th International Conference on Computational Science: Part I
Introducing CEES: complex economic environments simulator
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
SPAMR: extending PAMR with stochastic time
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
A comparative study of STOPA and RTPA
Transactions on computational science II
A process algebraic framework for modeling resource demand and supply
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Theoretical Computer Science
Implementation relations for stochastic finite state machines
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Modelling and analysis of power consumption for component-based embedded software
EUC'06 Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Hi-index | 0.00 |