Sciweavers

8503 search results - page 136 / 1701
» Secure Software Architectures
Sort
View
ICSE
1997
IEEE-ACM
14 years 1 months ago
Using Formal Methods to Reason about Architectural Standards
Kevin J. Sullivan, John Socha, Mark Marchukov
CODES
2001
IEEE
14 years 20 days ago
A novel parallel deadlock detection algorithm and architecture
Pun H. Shiu, Yudong Tan, Vincent John Mooney III
ICSE
2000
IEEE-ACM
14 years 18 days ago
Deriving test plans from architectural descriptions
Antonia Bertolino, Flavio Corradini, Paola Inverar...
ECSA
2007
Springer
13 years 10 months ago
A Distributed Staged Architecture for Multimodal Applications
Alessandro Costa Pereira, Falk Hartmann, Kay Kadne...