5407 search results - page 908 / 1082 » The Software Engineering Global Model |
179
click to vote
VLSI
2005
Springer
16 years 13 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...
182
Voted
AI
2004
Springer
16 years 11 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...
180
Voted
CSCLP
2004
Springer
16 years 10 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...
177
click to vote
FSTTCS
2004
Springer
16 years 10 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...
194
Voted
ICCBSS
2004
Springer
16 years 10 days ago
2004
Springer
In this paper we propose a taxonomy for classifying COTS business applications, i.e. products that are used in the daily functioning of all types of organizations worldwide, such a...