1648 search results - page 85 / 330 » Structuring namespace descriptions |
154
Voted
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
143
click to vote
GPC
2010
Springer
15 years 10 months ago
2010
Springer
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...
128
click to vote
PROFES
2001
Springer
15 years 8 months ago
2001
Springer
Component-based software has a self-similar structure on el of abstraction, i.e. its structure is fractal. Traditional software processes, however, have a linear or iterated struct...
142
Voted
LACL
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We investigate natural deduction proofs of the Lambek calculus from the point of view of tree automata. The main result is that the set of proofs of the Lambek calculus c...
140
Voted
VMV
2008
15 years 5 months ago
2008
Architectural blueprints offer a concise, clear and high-level description of the structure of a building. On the other hand, state of the art reconstruction pipelines can nowaday...