1816 search results - page 213 / 364 » Case study in modeling and simulation validation methodology |
166
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
164
click to vote
ENTCS
2010
15 years 3 months ago
2010
Many biological phenomena are inherently multiscale, i.e. they are characterised by interactions involving different scales at the same time. This is the case of bone remodelling,...
177
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Complex signal processing algorithms are often specified in floating point precision. Thus, a type conversion is needed when the targeted platform requires fixed-point precis...
183
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— The proliferation of wireless and mobile devices has fostered the demand of context aware applications, in which location is often viewed as one of the most significant context...
155
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we present a new approach to visual servoing using lines. It is based on a theoretical and geometrical study of the main line representations which allows us to de...