Sciweavers

851 search results - page 45 / 171
» A View on Components
Sort
View
142
Voted
SCP
2010
172views more  SCP 2010»
15 years 2 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
174
Voted
MMS
2002
15 years 3 months ago
Dynamic end-to-end QoS management middleware for distributed multimedia systems
Abstract. In this paper, we present a separable, reusable middleware solution that provides coordinated, end-to-end QoS management over any type of service component, and can use e...
Denise J. Ecklund, Vera Goebel, Thomas Plagemann, ...
PCI
2001
Springer
15 years 8 months ago
Communicating X-Machines: From Theory to Practice
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
Petros Kefalas, George Eleftherakis, Evangelos Keh...
151
Voted
SMC
2010
IEEE
117views Control Systems» more  SMC 2010»
15 years 2 months ago
A simulation modelling approach enabling joint emergency response operations
—A novel capability for modelling and simulating intra- and inter-organizational collaboration in an emergencyresponse domain is presented. This capability combines the prescript...
Nicola Bicocchi, William Ross, Mihaela Ulieru
ICSE
2009
IEEE-ACM
15 years 8 months ago
License integration patterns: Addressing license mismatches in component-based development
In this paper we address the problem of combining software components with different and possibly incompatible legal licenses to create a software application that does not viola...
Daniel M. Germán, Ahmed E. Hassan