Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Multi-agent cooperation, dynamic workflow and XML for e-commerce automation
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Intrusion detection in wireless ad-hoc networks
MobiCom '00 Proceedings of the 6th annual international conference on Mobile computing and networking
Agent-oriented technology in support of e-business
Communications of the ACM
Brokering and matchmaking for coordination of agent societies: a survey
Coordination of Internet agents
Deriving new measurements for real-time reactive systems
Deriving new measurements for real-time reactive systems
Automated test generation from formal specifications of real-time reactive systems
Automated test generation from formal specifications of real-time reactive systems
IEEE Network: The Magazine of Global Internetworking
| Hi-index | 0.00 |