Sciweavers

396 search results - page 17 / 80
» A Software Component Model and Its Preliminary Formalisation
Sort
View
ICSE
2007
IEEE-ACM
15 years 10 months ago
Design, Implementation and Deployment of State Machines Using a Generative Approach
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
Graham N. C. Kirby, Alan Dearle, Stuart J. Norcros...
RTAS
2005
IEEE
15 years 9 months ago
A Platform-Independent Component Modeling Language for Distributed Real-Time and Embedded Systems
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems – p...
Krishnakumar Balasubramanian, Jaiganesh Balasubram...
FUIN
2006
96views more  FUIN 2006»
15 years 4 months ago
A Component Coordination Model Based on Mobile Channels
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...
CBSE
2005
Springer
15 years 9 months ago
A Component-Oriented Model for the Design of Safe Multi-threaded Applications
We previously developed a component-oriented model that combines ideas from self-organizing architectures and from design by contract to address the complexity of design in multi-t...
Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Di...
CCGRID
2003
IEEE
15 years 9 months ago
Merging the CCA Component Model with the OGSI Framework
The most important recent development in Grid systems is the adoption of the Web services model as a basic architecture for Grid services. The result is called the Open Grid Servi...
Madhusudhan Govindaraju, Sriram Krishnan, Kenneth ...