4866 search results - page 203 / 974 » UML for Global Computing |
132
click to vote
PDP
2007
IEEE
15 years 11 months ago
2007
IEEE
The paper addresses the challenges and opportunities of instrumenting pervasive computing systems with a logical clock, aware of the quality of synchronization with respect to a t...
157
Voted
CMG
2004
15 years 6 months ago
2004
Grid computing promises to become the future computing paradigm for enterprise application after having shown to be a quite effective computing paradigm for resource-intensive sci...
118
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...
152
click to vote
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
Detection of the best symmetry plane in 3D images can be treated as a registration problem between the original and the reflected images. The registration is performed in a 3D sp...
118
click to vote
ISCAS
2007
IEEE
15 years 11 months ago
2007
IEEE
— We propose a computationally efficient method based on nonlinear optimization to identify critical lines, failure of which can cause severe blackouts. Our method computes crit...