9006 search results - page 1285 / 1802 » Modeling Software |
184
click to vote
VLSI
2005
Springer
16 years 17 days ago
2005
Springer
Quasi delay insensitive circuits are functionally independent of delays in gates and wires (except for some particular wires). Such asynchronous circuits offer high robustness but...
186
click to vote
AI
2004
Springer
16 years 15 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...
188
click to vote
CSCLP
2004
Springer
16 years 15 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...
183
click to vote
FSTTCS
2004
Springer
16 years 15 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...
153
click to vote
GI
2004
Springer
16 years 15 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...