5034 search results - page 875 / 1007 » A Content-Centric Development Process Model |
124
click to vote
ENTCS
2007
15 years 3 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
155
click to vote
PPL
2008
15 years 3 months ago
2008
As the number of integrated IP cores in the current System-on-Chips (SoCs) keeps increasing, communication requirements among cores can not be sufficiently satisfied using either ...
130
click to vote
CGF
2005
15 years 3 months ago
2005
In this paper we explore the algorithmic space in which stripification, simplification and geometric compression of triangulated 2-manifolds overlap. Edge-collase/uncollapse based...
169
click to vote
BMCBI
2010
14 years 10 months ago
2010
Background: The development, in the last decade, of stochastic heuristics implemented in robust application softwares has made large phylogeny inference a key step in most compara...
163
Voted
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
Schema matching identifies elements of two given schemas that correspond to each other. Although there are many algorithms for schema matching, little has been written about build...