3045 search results - page 106 / 609 » Formal Approaches to Software Architecture |
HICSS
2007
IEEE
15 years 5 months ago
2007
IEEE
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
86
Voted
OOPSLA
2009
Springer
15 years 5 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
TRUST
2009
Springer
15 years 5 months ago
2009
Springer
During many crises, access to sensitive emergency-support information is required to save lives and property. For example, for effective evacuations first responders need the name...
118
click to vote
ESORICS
1992
Springer
15 years 3 months ago
1992
Springer
After a brief survey of the problems related to audit trail analysis and of some approaches to deal with them, the paper outlines the project ASAX which aims at providing an advanc...
102
click to vote
IMECS
2007
15 years 15 days ago
2007
—The research community and the IT industry have invested significant effort in fighting spam emails. There are many different approaches, ranging from white listing, black listi...