1078 search results - page 194 / 216 » Modelling and Verifying of e-Commerce Systems |
110
Voted
CAINE
2007
15 years 3 months ago
2007
The study of how metal deforms and flows as parts are machined yields important insights into the metal cutting process. Improvements in high-speed digital imaging and image proce...
111
Voted
FDBS
2001
15 years 3 months ago
2001
Integrating data sources is a general problem in many scenarios. The main problem is the heterogeneity between data sources which were created and developed separately. In the lit...
118
click to vote
AAAI
1994
15 years 3 months ago
1994
Researchers in the eld of Distributed Arti cial Intelligence (DAI) have been developing e cient mechanisms to coordinate the activities of multiple autonomous agents. The need for...
114
Voted
ENGL
2007
15 years 1 months ago
2007
Realize the operating conditions of a manufacturing plant are essential for providing corresponding actions responsively. This is because all processes are interrelated and a smal...
119
click to vote
KI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...