9974 search results - page 1477 / 1995 » Software Interconnection Models |
184
click to vote
AI
2004
Springer
16 years 12 days ago
2004
Springer
Building conversation protocols has traditionally been an art more than a science, as their construction is often guided by designers’ intuition rather than by a principled appro...
183
click to vote
CSCLP
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
154
click to vote
EUROGP
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Genr8 is a surface design tool for architects. It uses a grammarbased generative growth model that produces surfaces with an organic quality. Grammatical Evolution is use...
179
click to vote
FSTTCS
2004
Springer
16 years 12 days ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
151
click to vote
GI
2004
Springer
16 years 12 days ago
2004
Springer
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...