1655 search results - page 179 / 331 » Stemming in the language modeling framework |
FM
1999
Springer
15 years 5 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
100
Voted
PACT
1997
Springer
15 years 5 months ago
1997
Springer
This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers...
111
Voted
LCTRTS
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
92
Voted
ICSE
2007
IEEE-ACM
16 years 26 days ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
103
Voted
FASE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...