4890 search results - page 279 / 978 » From system specifications to component behavioral models |
178
click to vote
HOTOS
2003
IEEE
16 years 1 days ago
2003
IEEE
Understanding the performance of distributed systems requires correlation of thousands of interactions between numerous components — a task best left to a computer. Today’s sy...
186
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...
174
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
167
click to vote
ACSAC
2005
IEEE
16 years 11 days ago
2005
IEEE
Online email archives are an under-protected yet extremely sensitive information resource. Email archives can store years worth of personal and business email in an easy-to-access...
186
click to vote
KBSE
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...