2266 search results - page 317 / 454 » A generic component model for building systems software |
159
click to vote
SIGIR
1995
ACM
15 years 10 months ago
1995
ACM
In this paper, we describe the design of a reusable IR framework, called FIRE, that is being implemented to facilitate the development of IR systems. In addition, FIRE is designed...
162
click to vote
SNPD
2004
15 years 7 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
197
click to vote
KBSE
2007
IEEE
16 years 23 days ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
171
click to vote
DELTA
2004
IEEE
15 years 10 months ago
2004
IEEE
Systems-on-Chip (SoCs) are heterogeneous by nature as they may integrate digital, analog, RF hardware as well as software components or non electrical parts such as sensors or act...
366
click to vote
PERVASIVE
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. In this paper, we introduce CityCompiler, an integrated environment for the iteration-based development of spatial interactive systems. CityCompiler visualizes interactiv...