8486 search results - page 1281 / 1698 » Ordered Enumeration Method |
193
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
193
click to vote
SIBGRAPI
2008
IEEE
16 years 1 months ago
2008
IEEE
2D electrophoresis is a well known method for protein separation which is extremely useful in the field of proteomics. Each spot in the image represents a protein accumulation an...
137
click to vote
SMI
2008
IEEE
16 years 1 months ago
2008
IEEE
Wireframe is a modeling tool widely used in industrial geometric design. The term wireframe refers to two sets of curves, with the property that each curve from one set intersects...
176
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Several diseases and medical conditions require constant monitoring of physiological signals and vital signs on daily bases, such as diabetics, hypertension and etc. In order to m...
183
click to vote
WISE
2008
Springer
16 years 1 months ago
2008
Springer
In the last few years, almost all model-driven Web Engineering approaches have evolved in response to the new challenges of Web systems design, which are due to new requirements an...