2324 search results - page 303 / 465 » Benchmark Generation Using Domain Specific Modeling |
116
click to vote
IADIS
2004
15 years 3 months ago
2004
Inductive reasoning is one of the important characteristics of human intelligence. Researchers have regarded inductive reasoning as one of the seven primary mental abilities that ...
146
click to vote
FMICS
2010
Springer
15 years 2 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
133
click to vote
ISSRE
2000
IEEE
15 years 6 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
115
click to vote
SBBD
2004
15 years 3 months ago
2004
An enormous amount of information is currently available through specialized services of digital libraries (DLs). However the specification and development of DLs are very complex...
120
click to vote
ICIP
1995
IEEE
16 years 3 months ago
1995
IEEE
Recently a class of multiscale stochastic models has been introducedin which Gaussian random processes are described by scale-recursive dynamics that are indexed by the nodes of a...