Sciweavers

8503 search results - page 136 / 1701
» Secure Software Architectures
Sort
View
ICSE
1997
IEEE-ACM
15 years 6 months ago
Using Formal Methods to Reason about Architectural Standards
Kevin J. Sullivan, John Socha, Mark Marchukov
CODES
2001
IEEE
15 years 6 months ago
A novel parallel deadlock detection algorithm and architecture
Pun H. Shiu, Yudong Tan, Vincent John Mooney III
63
Voted
ICSE
2000
IEEE-ACM
15 years 6 months ago
Deriving test plans from architectural descriptions
Antonia Bertolino, Flavio Corradini, Paola Inverar...
86
Voted
ECSA
2007
Springer
15 years 4 months ago
A Distributed Staged Architecture for Multimodal Applications
Alessandro Costa Pereira, Falk Hartmann, Kay Kadne...
125
Voted
ESEM
2008
ACM
15 years 4 months ago
An empirical investigation of scenarios gained and lost in architecture evaluation meetings
Dietmar Winkler, Stefan Biffl, Muhammad Ali Babar