Mobile agent security with the IPEditor development tool and the mobile UNITY language
Proceedings of the fifth international conference on Autonomous agents
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Semantic Models for Distributed Object Reflection
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Extending Activity Diagrams to Model Mobile Systems
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Prototyping 3APL in the Maude term rewriting language
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Higher-Order and Symbolic Computation
A Distributed Implementation of Mobile Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Code mobility modeling: a temporal labeled reconfigurable nets
Proceedings of the 1st international conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications
An Algebraic Framework for Modeling of Mobile Systems
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Prototyping 3APL in the Maude term rewriting language
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Transforming information in RDF to rewriting logic
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Partial order semantics of sequence diagrams for mobility
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Taming distributed system complexity through formal patterns
Science of Computer Programming
Hi-index | 0.00 |