8828 search results - page 1624 / 1766 » Formal methods in practice |
123
click to vote
SP
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Most security mechanisms proposed to date unquestioningly place trust in microprocessor hardware. This trust, however, is misplaced and dangerous because microprocessors...
160
click to vote
ESCIENCE
2006
IEEE
15 years 7 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...
138
Voted
GD
2006
Springer
15 years 7 months ago
2006
Springer
The planarization method has proven to be successful in graph drawing. The output, a combinatorial planar embedding of the so-called planarized graph, can be combined with state-o...
118
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Nitrogen is one of the most important chemical intakes to ensure the healthy growth of agricultural crops. However, some environmental concerns emerge (soil and water pollution) w...
126
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Heuristic Algorithms (HA) are very widely used to tackle practical problems in operations research. They are simple, easy to understand and inspire confidence. Many of these HAs a...