4866 search results - page 203 / 974 » UML for Global Computing |
175
click to vote
PDP
2007
IEEE
16 years 26 days 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...
186
click to vote
CMG
2004
15 years 8 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...
145
click to vote
CONCUR
2009
Springer
16 years 1 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...
180
click to vote
ICPR
2002
IEEE
15 years 11 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...
156
click to vote
ISCAS
2007
IEEE
16 years 26 days 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...