Sciweavers

1347 search results - page 152 / 270
» An Approach to Software Evolution Based on Semantic Change
Sort
View
EMSOFT
2008
Springer
14 years 11 months ago
RTComposer: a framework for real-time components with scheduling interfaces
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
Rajeev Alur, Gera Weiss
AMAST
1997
Springer
15 years 2 months ago
Symbolic Bisimulation for Full LOTOS
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is de ned, following the approach taken for message passing CCS in HL95a], altered to take account of th...
Carron Shankland, Muffy Thomas
ECMDAFA
2006
Springer
142views Hardware» more  ECMDAFA 2006»
15 years 1 months ago
Ontology-Based Composition and Transformation for Model-Driven Service Architecture
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
Claus Pahl
AC
2003
Springer
15 years 3 months ago
System Support for Pervasive Applications
To make pervasive computing a reality, we need better system support for building, deploying, and using pervasive applications. In this paper, we identify the unique requirements ...
Robert Grimm, Brian N. Bershad
FASE
2006
Springer
15 years 1 months ago
Concerned About Separation
Abstract. The separation of concerns, as a conceptual tool, enables us to manage the complexity of the software systems that we develop. There have been a number of approaches aime...
Hafedh Mili, Houari A. Sahraoui, Hakim Lounis, Ham...