Sciweavers

2014 search results - page 234 / 403
» Intelligent Transportation System (ITS)
Sort
View
AGENTCL
2000
Springer
15 years 10 months ago
A Social Semantics for Agent Communication Languages
The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal se...
Munindar P. Singh
APN
2000
Springer
15 years 10 months ago
UML - A Universal Modeling Language?
Abstract. The Unified Modeling Language (UML) is the de facto industrial standard of an object-oriented modeling language. It consists of several sublanguages which are suited to ...
Gregor Engels, Reiko Heckel, Stefan Sauer
APN
2010
Springer
15 years 10 months ago
AlPiNA: A Symbolic Model Checker
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAā€...
Didier Buchs, Steve Hostettler, Alexis Marechal, M...
ATAL
1999
Springer
15 years 10 months ago
A Scalable Agent Location Mechanism
Large scale open multi-agent systems where agents need services of other agents but may not know their contact information require agent location mechanisms. Solutions to this pro...
Onn Shehory
ECAI
1994
Springer
15 years 10 months ago
Interpreting Common Words in Context: a Symbolic Approach
This paper presents a lexical model dedicated to the semantic representation and interpretation of individual words in unrestricted text, where sense discrimination is difficult t...
Violaine Prince