7329 search results - page 304 / 1466 » Software Architectural Transformation |
162
click to vote
MODELS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
164
click to vote
GG
2004
Springer
16 years 3 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
153
Voted
CBMS
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper presents the MultiWaveMed system, which is a new software allowing to index and retrieve medical images through the comparison of their texture features. The features a...
148
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
As parallel machines become part of the mainstream computing environment, compilers will need to apply synchronization optimizations to deliver e cient parallel software. This pap...
168
click to vote
WICSA
2008
15 years 8 months ago
2008
Architecture patterns are an important tool in architectural design. However, while many architecture patterns have been identified, there is little in-depth understanding of thei...