2236 search results - page 254 / 448 » Secure Software Design in Practice |
134
click to vote
JCS
2002
15 years 2 months ago
2002
We describe the use of a domain-specific language (DSL) for expressing critical design values and constraints in an intrusion detection application. Through the use of this specia...
135
click to vote
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper reports on a project establishment undertaking as proposed by the STEPS methodology (Software Technology for Evolutionary Participatory System Design). Project establis...
119
click to vote
ICDCS
1990
IEEE
15 years 7 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
145
click to vote
UPP
2004
Springer
15 years 8 months ago
2004
Springer
Self-assembly is the spontaneous self-ordering of substructures into superstructures driven by the selective affinity of the substructures. DNA provides a molecular scale material...
116
click to vote
STTT
1998
15 years 2 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...