1306 search results - page 89 / 262 » A Diagrammatic Approach to Model Completion |
175
click to vote
IAT
2005
IEEE
15 years 11 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...
183
click to vote
AOSE
2001
Springer
15 years 10 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...
150
click to vote
ZUM
2000
Springer
15 years 9 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 ...
167
click to vote
WCNC
2010
IEEE
15 years 10 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,...
144
click to vote
TSD
2010
Springer
15 years 4 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...