296 search results - page 14 / 60 » Modeling in an Architectural Variability Description Languag... |
INFSOF
2008
14 years 11 months ago
2008
Architectural patterns are a fundamental aspect of the architecting process and subsequently the architectural documentation. Unfortunately, there is only poor support for modelin...
103
click to vote
ICSE
1999
IEEE-ACM
15 years 3 months ago
1999
IEEE-ACM
Software architectures have the potential to substantially improve the development and evolution of large, complex, multi-lingual, multi-platform, long-running systems. However, i...
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper presents an environment based on SystemC for architecture specification of programmable systems. Making use of the new architecture description language ArchC, able to ...
LREC
2010
15 years 1 months ago
2010
This paper deals with the problem of finding sign occurrences in a sign language (SL) video. It begins with an analysis of sign models and the way they can take into account the s...
SIGSOFT
2003
ACM
15 years 4 months ago
2003
ACM
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...