10891 search results - page 1536 / 2179 » Combining Model Reductions |
176
click to vote
ISPW
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
179
click to vote
ISPW
2006
IEEE
16 years 1 months ago
2006
IEEE
As functionality is added to an ageing piece of software, its original design and structure tends to erode. The underlying forces which cause such degradation have been the subject...
171
click to vote
SCW
2006
IEEE
16 years 1 months ago
2006
IEEE
One of the key aspects in the implementation of reactive behaviour in the web and, most importantly, in the semantic web is the development of event detection engines. An event en...
195
click to vote
SKG
2006
IEEE
16 years 1 months ago
2006
IEEE
Meteorology Grid Computing aims to provide scientist with seamless, reliable, secure and inexpensive access to meteorological resources. In this paper, we presented a semantic-bas...
176
click to vote
SMI
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we propose a constrained least squares approach for stably computing Laplacian deformation with strict positional constraints. In the existing work on Laplacian def...