Sciweavers

348 search results - page 38 / 70
» Characterizing Software Architecture Changes: An Initial Stu...
Sort
View
CASCON
2010
166views Education» more  CASCON 2010»
14 years 9 months ago
Event Exposure for Web Services: A Grey-Box Approach to Compose and Evolve Web Services
Abstract. The service-oriented architecture (SOA) is an emerging software engineering paradigm for developing distributed enterprise applications. In this paradigm, Web services ar...
Chunyang Ye, Hans-Arno Jacobsen
CORR
2010
Springer
110views Education» more  CORR 2010»
14 years 12 months ago
Predicting the Impact of Measures Against P2P Networks on the Transient Behaviors
The paper has two objectives. The first is to study rigorously the transient behavior of some P2P networks where information is replicated and disseminated according to an epidemic...
Eitan Altman, Philippe Nain, Adam Shwartz, Yuedong...
SIGSOFT
2003
ACM
15 years 5 months ago
Fluent model checking for event-based systems
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
Dimitra Giannakopoulou, Jeff Magee
INFOCOM
1994
IEEE
15 years 3 months ago
Dynamic Bandwidth Allocation for Efficient Transport of Real-Time VBR Video over ATM
This pape? presents a novel approach to dynamic transmission bandwidth allocation for transport of real-time variable-bit-rate video in ATM networks. Describe video traffic in the...
Song Chong, San-qi Li, Joydeep Ghosh
WICSA
2008
15 years 1 months ago
uDesign: End-User Design Applied to Monitoring and Control Applications for Smart Spaces
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...
João Pedro Sousa, Bradley R. Schmerl, Vahe ...