598 search results - page 21 / 120 » Aspect-Oriented Development Using Protocol Modeling |
ECBS
1999
IEEE
14 years 2 months ago
1999
IEEE
An information model supporting core systems engineering design data is presented. The model provides, in conjunction with STEP (ISO 10303) framework services, an infrastructure t...
LPAR
2007
Springer
14 years 4 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
HPCA
2005
IEEE
14 years 10 months ago
2005
IEEE
Improvements in semiconductor technology now enable Chip Multiprocessors (CMPs). As many future computer systems will use one or more CMPs and support shared memory, such systems ...
BMCBI
2007
13 years 9 months ago
2007
Background: Reverse transcription followed by real-time PCR is widely used for quantification of specific mRNA, and with the use of double-stranded DNA binding dyes it is becoming...
FAC
2008
13 years 10 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...