4305 search results - page 436 / 861 » Analysing Protocol Implementations |
223
click to vote
BPM
2005
Springer
16 years 1 months 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...
196
click to vote
CHES
2005
Springer
16 years 1 months 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...
177
click to vote
DILS
2005
Springer
16 years 1 months 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...
210
click to vote
ESA
2005
Springer
16 years 1 months 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...
189
click to vote
FMCO
2005
Springer
16 years 1 months 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...