9390 search results - page 112 / 1878 » 'Interactivity' - Tracking a New Concept |
DAC
1996
ACM
15 years 2 months ago
1996
ACM
This paper presents a new concept for accurate modeling and timing simulationof electronicsystems integrated in a typical VHDL design environment, taking into account the requirem...
ICANN
2007
Springer
15 years 1 months ago
2007
Springer
It is well known that our prior knowledge and experiences affect how we learn new concepts. Although several formal modeling attempts have been made to quantitatively describe the ...
110
click to vote
ASM
2008
ASM
14 years 12 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
103
click to vote
TNC
2004
14 years 11 months ago
2004
The bandwidth broker architectures introduced to manage diffserv still have scalability flaws in the mean of large volumes of end-to-end tunnels and workload they have to handle. ...
SYRCODIS
2007
14 years 11 months ago
2007
High complexity of lattice construction algorithms and uneasy way of visualising lattices are two important problems connected with the formal concept analysis. Algorithm complexi...