108 search results - page 5 / 22 » An Agent-Based Telecooperation Framework |
AGENTS
2000
Springer
14 years 2 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
SOSE
2008
IEEE
14 years 4 months ago
2008
IEEE
Service-oriented computing is becoming a direction of computing technology. For realising the mission of serviceoriented computing, service-oriented architecture has been proposed...
PDP
2006
IEEE
14 years 3 months ago
2006
IEEE
Mobility study is composed of many research areas which one interests us: urban mobility. In the literature, urban mobilities are represented by analytical techniques like stochas...
ITNG
2008
IEEE
14 years 4 months ago
2008
IEEE
Current electronic commerce applications such as online auction systems are not trustworthy due to a lack of effective trust management mechanisms. A trustworthy online auction sy...
VL
2006
IEEE
14 years 3 months ago
2006
IEEE
Parsing hand-drawn diagrams is a definitely complex recognition problem. The input drawings are often intrinsically ambiguous, and require context to be interpreted in a correct w...