2694 search results - page 123 / 539 » Frege's New Science |
168
click to vote
HUMAN
2005
Springer
16 years 11 hour ago
2005
Springer
Stream Control Transmission Protocol (SCTP) is a new end-to-end transport protocol that is featured ‘multi-homing.’ The mSCTP (mobile SCTP) is defined as SCTP with the capabili...
168
click to vote
SOFSEM
2005
Springer
15 years 12 months ago
2005
Springer
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...
182
click to vote
SPIN
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
156
click to vote
WG
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In the context of protein engineering, we consider the problem of computing an mRNA sequence of maximal codon-wise similarity to a given mRNA (and consequently, to a give...
181
click to vote
WG
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we present a new algorithm for computing the chromatic polynomial of a general graph G. Our method is based on the addition of edges and contraction of non-edges of ...