6431 search results - page 745 / 1287 » Model Building by Resolution |
161
click to vote
SENSYS
2004
ACM
16 years 8 days ago
2004
ACM
A class of synchronization protocols for dense, large-scale sensor networks is presented. The protocols build on the recent work of Hong, Cheow, and Scaglione [5, 6] in which the ...
155
click to vote
WOSP
2004
ACM
16 years 8 days ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
198
Voted
AUSAI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The algorithm selection problem aims to select the best algorithm for an input problem instance according to some characteristics of the instance. This paper presents a l...
166
click to vote
CASDMKM
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Many methodologies have been introduced to deal with project portfolio selection problem including some techniques that help to evaluate individual projects, or to select...
171
click to vote
GC
2004
Springer
16 years 7 days ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...