5799 search results - page 940 / 1160 » Patterns Generate Architectures |
205
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
As information networks become ubiquitous, extracting knowledge from information networks has become an important task. Both ranking and clustering can provide overall views on in...
147
click to vote
SEUS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
135
click to vote
ICFEM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
139
click to vote
DSOM
2003
Springer
15 years 9 months ago
2003
Springer
TrustedFlow™ is a software solution to the problem of remotely authenticating code during execution. A continuous flow of idiosyncratic signatures assures that the software from ...
165
click to vote
GI
1998
Springer
15 years 8 months ago
1998
Springer
"KnowledgeMiner" was designed to support the knowledge extraction process on a highly automated level. Implemented are 3 different GMDH-type self-organizing modeling algo...