58 search results - page 10 / 12 » A Case Study on the Automatic Composition of Network Applica... |
UML
2005
Springer
14 years 25 days ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...
COOP
2004
13 years 8 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
ICMCS
2009
IEEE
13 years 5 months ago
2009
IEEE
We consider multi-rate peer-to-peer multi-party conferencing applications, where different receivers in the same group can receive videos at different rates using, for example, sc...
CCS
2003
ACM
14 years 18 days ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...
ISSRE
2010
IEEE
13 years 5 months ago
2010
IEEE
—Large scale systems (LSS) contain multiple subsystems that interact across multiple nodes in sometimes unforeseen and complicated ways. As a result, pinpointing the subsystems t...