8083 search results - page 45 / 1617 » A Formalization of Software Architecture |
ACSAC
2006
IEEE
14 years 1 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
14 years 1 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 ...
SIGSOFT
2003
ACM
14 years 26 days 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 ...
FORTEST
2008
13 years 9 months ago
2008
FMICS
2006
Springer
13 years 11 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...