2209 search results - page 314 / 442 » Language Based Secure Communication |
142
Voted
SDL
2001
15 years 4 months ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
130
Voted
SBBD
2004
15 years 4 months ago
2004
Flexible and dynamic environments are characterized by high independence from connection participants, low control over available services and high tolerance to communication fail...
93
Voted
SCAM
2007
IEEE
15 years 9 months ago
2007
IEEE
ames make or break abstractions: good ones communicate the intention of the method, whereas bad ones cause confusion and frustration. The task of naming is subject to the whims an...
97
Voted
IFIP
2007
Springer
15 years 9 months ago
2007
Springer
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...