2370 search results - page 166 / 474 » A Framework for the Simulation Experimentation Process |
182
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
157
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper deals with a view interpolation problem using multiple images captured with a circular camera array. A novel deconvolution method for reconstructing a virtual image at ...
163
click to vote
QEST
2008
IEEE
16 years 25 days ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
164
click to vote
CCGRID
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we present a node mobility prediction framework based on a generic mobile grid architecture. We show how this framework can be used to formulate a cost effective job...
156
click to vote
AMC
2005
15 years 6 months ago
2005
In most public companies in China, there are two thirds of shares that cannot be traded freely in the secondary market. These illiquid shares, however, may be allowed to circulate...