1432 search results - page 96 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
135
Voted
CP
2008
Springer
15 years 5 months ago
2008
Springer
The Cell BE processor provides both scalable computation power and flexibility, and it is already being adopted for many computational intensive applications like aerospace, defens...
125
Voted
WCRE
2006
IEEE
15 years 9 months ago
2006
IEEE
Aspect mining tries to identify crosscutting concerns in existing systems and thus supports the adaption to an aspect-oriented design. This paper describes an automatic static asp...
131
click to vote
CADE
2004
Springer
16 years 3 months ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
176
click to vote
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
Graphics processing units (GPUs) provide a low cost platform for accelerating high performance computations. The introduction of new programming languages, such as CUDA and OpenCL...
138
Voted
BPM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring co...