8083 search results - page 45 / 1617 » A Formalization of Software Architecture |
92
Voted
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
COORDINATION
2005
Springer
15 years 6 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
126
click to vote
SIGSOFT
2003
ACM
15 years 5 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
81
Voted
FORTEST
2008
15 years 2 months ago
2008
104
Voted
FMICS
2006
Springer
15 years 4 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...