2253 search results - page 396 / 451 » An Approach to Specifying Software Frameworks |
147
Voted
EUROMICRO
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
124
Voted
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
131
Voted
ITNG
2010
IEEE
15 years 8 months ago
2010
IEEE
Supporting the varied software feature requirements of multiple variants of a software product-line while promoting reuse forces product line engineers to use general-purpose, fea...
119
Voted
FASE
2008
Springer
15 years 5 months ago
2008
Springer
In many distributed computing paradigms, especially sensor networks and ubiquitous computing but also grid computing and web services, programmers commonly tie their application to...
130
Voted
SIAMAM
2011
14 years 10 months ago
2011
We consider the problem of locating perfectly conducting cracks and estimating their geometric features from multi-static response matrix measurements at a single or multiple frequ...