731 search results - page 91 / 147 » Specification Matching of Software Components |
PERCOM
2007
ACM
15 years 9 months ago
2007
ACM
In this paper, we report on a user-centered, iterative design process for augmenting sports equipment with ubiquitous computing technology. In several design iterations, a fully w...
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we are trying to clarify, with the aid of some semiotic notions, the confusions that lie around the widely used terms “analysis model” and “design model” in s...
ICFEM
2003
Springer
15 years 3 months ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. There is an increasing need to provide methods for describing information systems which incorporate the integrated use of multiple channels of interaction. To achieve thi...
103
click to vote
EMSOFT
2003
Springer
15 years 3 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...