8828 search results - page 330 / 1766 » Formal methods in practice |
161
click to vote
IMR
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes an interior surface generation method and a strategy for all-hexahedral mesh generation. It is well known that a solid homeomorphic to a ball with even number...
165
click to vote
ICECCS
1997
IEEE
15 years 11 months ago
1997
IEEE
Design of practical routing protocols is complex and dificult due to complicated requirements of faulttolerance and flexibility. The protocol is defined to be fault-tolerant if me...
170
click to vote
SDE
1991
15 years 10 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
217
click to vote
TSP
2008
15 years 6 months ago
2008
We study a sampling setup where a continuous-time signal is mapped by a memoryless, invertible and nonlinear transformation, and then sampled in a nonideal manner. Such scenarios a...
195
click to vote
ALENEX
2003
15 years 8 months ago
2003
Graph models for real-world complex networks such as the Internet, the WWW and biological networks are necessary for analytic and simulation-based studies of network protocols, al...