1283 search results - page 153 / 257 » Object Initialization in X10 |
143
click to vote
FAC
2008
15 years 5 months ago
2008
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...
129
click to vote
IJIQ
2008
15 years 5 months ago
2008
This paper emphasises that most surgical errors can be prevented or intercepted by reducing preventable disruptions inside the operating rooms. It uses information quality concepts...
137
click to vote
CGF
2007
15 years 5 months ago
2007
We introduce an algorithm for the automatic computation of global parameterizations on arbitrary simplicial 2manifolds, whose parameter lines are guided by a given frame field, f...
137
Voted
IJCV
2006
15 years 5 months ago
2006
Based on recent work on Stochastic Partial Differential Equations (SPDEs), this paper presents a simple and well-founded method to implement the stochastic evolution of a curve. F...
121
Voted
COR
2007
15 years 5 months ago
2007
The paper discusses the definition and solution of a bi-objective routing problem, namely the bi-objective covering tour problem. The bi-objective CTP is a generalization of the ...