1306 search results - page 89 / 262 » A Diagrammatic Approach to Model Completion |
110
Voted
IAT
2005
IEEE
15 years 6 months ago
2005
IEEE
The algorithm we present in this paper aims to optimally distribute and connect the community of loosely coupled middle agents ensuring communication accessibility in a dynamic, i...
120
Voted
AOSE
2001
Springer
15 years 5 months ago
2001
Springer
In this paper, I will demonstrate how the Unified Modeling Language (UML) can be used to describe agent interaction protocols. The approach that is presented in this paper does no...
94
Voted
ZUM
2000
Springer
15 years 4 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
110
Voted
WCNC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—In order to ensure fair access and efficiency of bandwidth usage in wireless integrated networks, resource allocation algorithms should be well designed. In this paper,...
90
Voted
TSD
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Dental rehabilitation by complete dentures is a state-of-the-art approach to improve functional aspects of the oral cavity of edentulous patients. It is important to assu...