2253 search results - page 396 / 451 » An Approach to Specifying Software Frameworks |
185
click to vote
EUROMICRO
2006
IEEE
16 years 3 days 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...
151
click to vote
SEFM
2005
IEEE
15 years 11 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...
159
click to vote
ITNG
2010
IEEE
15 years 11 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...
144
click to vote
FASE
2008
Springer
15 years 7 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...
161
click to vote
SIAMAM
2011
15 years 1 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...