933 search results - page 89 / 187 » Secure Software Architectures Design by Aspect Orientation |
CHARME
2001
Springer
14 years 2 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
ICS
2003
Tsinghua U.
14 years 3 months ago
2003
Tsinghua U.
We describe the architecture for a single-chip aegis processor which can be used to build computing systems secure against both physical and software attacks. Our architecture ass...
AOSE
2001
Springer
14 years 2 months ago
2001
Springer
In this paper, we describe the Architecture Description Language (ADL) that we are defining for the design of agentbased systems. This aims at filing the gap between the analysis ...
TOOLS
1999
IEEE
14 years 2 months ago
1999
IEEE
The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a lang...
EUROMICRO
2009
IEEE
14 years 5 months ago
2009
IEEE
—Real-time systems are increasingly used in dynamic changing environments with variable user needs, hosting real-time applications ranging in number and nature. This paper propos...