1604 search results - page 53 / 321 » A Logical Viewpoint on Architectures |
160
click to vote
ECSA
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...
161
Voted
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
170
click to vote
ACSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper reports on an ongoing effort to define the security architecture for the Joint Simulation System (JSIMS), a joint military modeling and simulation system. It also descr...
171
Voted
VLSID
2009
IEEE
16 years 28 days ago
2009
IEEE
Abstract— This paper introduces a fuzzy logic based guidance architecture to a graph grammar framework for automated design of analog circuits. The grammar generates circuit topo...
159
click to vote
CADE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...