15416 search results - page 3028 / 3084 » Embeddings of Computable Structures |
148
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
165
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
149
click to vote
IMC
2007
ACM
15 years 6 months ago
2007
ACM
In this paper we consider the problem of determining traffic matrices for end-to-end demands in an IP/MPLS network that supports multiple quality of service (QoS) classes. More pr...
128
click to vote
APPROX
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Given a directed graph G = (V, E) and an integer k 1, a ktransitive-closure-spanner (k-TC-spanner) of G is a directed graph H = (V, EH ) that has (1) the same transitive...
163
click to vote
AGI
2008
15 years 5 months ago
2008
Human brain is exceptionally complex and simple at the same time. Its extremely composite biological structure results itself in human everyday behavior that many people might cons...