4305 search results - page 436 / 861 » Analysing Protocol Implementations |
207
click to vote
BPM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In order to support business processes effectively, their implementation by a process management systems (PMS) must be as close to the real world’s processes as possib...
169
Voted
CHES
2005
Springer
16 years 11 days ago
2005
Springer
Electromagnetic analysis (EMA) can be used to compromise secret information by analysing the electric and/or magnetic fields emanating from a device. It follows differential power...
147
Voted
DILS
2005
Springer
16 years 10 days ago
2005
Springer
The ability to perform genome-wide and cross-genome data analyses can dramatically reduce the time required for new biological discoveries. This raises important issues in bioinfor...
184
click to vote
ESA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Modern computer graphics systems are able to render sophisticated 3D scenes consisting of millions of polygons. For most camera positions only a small collection of these...
169
click to vote
FMCO
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...