3481 search results - page 393 / 697 » Architecture as Object Models of Software |
148
Voted
FMICS
2006
Springer
15 years 8 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
127
click to vote
VLSISP
2010
14 years 11 months ago
2010
We propose a new parallelization scheme for the hmmsearch function of the HMMER software, in order to target FPGA technology. hmmsearch is a very compute intensive software for bio...
137
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
130
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
166
Voted
GI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...