enter search term and/or author name
Address translation in telecommunication features
Address translation causes a wide variety of interactions among telecommunication features. This article begins with a formal model of address translation and its effects, and with principles for understanding how features should interact in the...
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
Jeff Magee, Jeff Kramer, Sebastian Uchitel
Behavior modeling has proved to be successful in helping uncover design flaws of concurrent and distributed systems. Nevertheless, it has not had a widespread impact on practitioners because model construction remains a difficult task and because the...
A formal model for reasoning about adaptive QoS-enabled middleware
Gul A. Agha, Carolyn Talcott, Nalini Venkatasubramanian
Systems that provide distributed multimedia services are subject to constant evolution; customizable middleware is required to effectively manage this change. Middleware services for resource management execute concurrently with each other, and with...