3185 search results - page 21 / 637 » Principles for modeling language design |
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
The Bell-La Padula security model produced conceptual tools for the analysis and design of secure computer systems. Together with its sibling engineering initiatives, it identifi...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
STOC
2004
ACM
14 years 7 months ago
2004
ACM
Recently, approximation analysis has been extensively used to study algorithms for routing weighted packets in various network settings. Although different techniques were applied...
UML
2001
Springer
13 years 12 months ago
2001
Springer
: I have always been a strong believer and practitioner of the JFDI approach to development, which yields high morale, early identification of problems in design and of any misunde...
DATE
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper presents a methodology to retarget the technique of compiled simulation for Digital Signal Processors DSPs using the modeling language LISA. In the past, the principl...