5608 search results - page 395 / 1122 » Structure description tools |
177
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
193
click to vote
FCCM
2008
IEEE
16 years 1 months ago
2008
IEEE
High-Level Languages (HLLs) for FPGAs (FieldProgrammable Gate Arrays) facilitate the use of reconfigurable computing resources for application developers by using familiar, higher...
162
click to vote
FASE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
195
click to vote
ICCD
2006
IEEE
16 years 25 days ago
2006
IEEE
Microfluidics-based biochips offer exciting possibilities for highthroughput sequencing, parallel immunoassays, blood chemistry for clinical diagnostics, DNA sequencing, and envir...
176
click to vote
PERVASIVE
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents u-Photo which is an interactive digital still image including information of pervasive services associated with networked appliances and sensors in pervasive co...