6769 search results - page 62 / 1354 » A new concept of robustness |
VISSOFT
2005
IEEE
14 years 2 months ago
2005
IEEE
The paper presents a new visualization approach to support static concept location in source code. The approach is realized through the combination of two existing tools: IRiSS, w...
DAC
1996
ACM
14 years 29 days 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
14 years 21 days 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 ...
ASM
2008
ASM
13 years 10 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...
TNC
2004
13 years 10 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. ...