9018 search results - page 1099 / 1804 » 3D-Brain Model Software |
221
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
196
click to vote
FORTE
2007
15 years 9 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
223
click to vote
WCCE
2001
15 years 9 months ago
2001
: The University of the United Arab Emirates (UAEU) commissioned an international panel of experts to devise a model curriculum for their new College of Information Technology. The...
202
click to vote
AAAI
2000
15 years 8 months ago
2000
Intelligent user interfaces often rely on modified applications and detailed application models. Such modifications and models are expensive to build and maintain. We propose to a...
167
click to vote
WSC
2000
15 years 8 months ago
2000
An advanced processing machine interacts with the material handling system, personnel and cell or shop floor controller in real-time via messaging and control. However, current si...