4636 search results - page 674 / 928 » Modelling and Validation with VipTool |
184
click to vote
3DIM
1997
IEEE
15 years 8 months ago
1997
IEEE
Geometric fusion of multiple sets of overlapping surface measurements is an important problem for complete 3D object or environment modelling. Fusion based on a discrete implicit ...
178
click to vote
SIGMETRICS
1992
ACM
15 years 8 months ago
1992
ACM
The CLOCK algorithm is a popular buffer replacement algorithm becauseof its simplicity and its ability to approximate the performance of the Least Recently Used (LRU) replacement ...
191
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
133
click to vote
CSFW
2010
IEEE
15 years 8 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...
153
click to vote
ANSS
2004
IEEE
15 years 8 months ago
2004
IEEE
Recent advances in micro electro-mechanical systems and VLSI lithography have enabled the miniaturization of sensors and controllers. Such minitiarization facilitates the deployme...