Sciweavers

10700 search results - page 1828 / 2140
» Generative Design Patterns
Sort
View
ICECCS
1997
IEEE
97views Hardware» more  ICECCS 1997»
15 years 11 months ago
A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols
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...
Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakud...
TABLEAUX
1998
Springer
15 years 11 months ago
Model Checking: Historical Perspective and Example (Extended Abstract)
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
Edmund M. Clarke, Sergey Berezin
WEBDB
1998
Springer
83views Database» more  WEBDB 1998»
15 years 11 months ago
On the Unification of Persistent Programming and the World Wide Web
In its infancy, the World-Wide Web consisted of a web of largely static hypertext documents. As time progresses it is evolving into a domain which supports almost arbitrary network...
Richard C. H. Connor, Keith Sibson, Paolo Manghi
SIGGRAPH
1997
ACM
15 years 11 months ago
Anatomically based modeling
We describe an improved, anatomically based approach to modeling and animating animals. Underlying muscles, bones, and generalized tissue are modeled as triangle meshes or ellipso...
Jane Wilhelms, Allen Van Gelder
SIGGRAPH
1997
ACM
15 years 11 months ago
Multiperspective panoramas for cel animation
We describe a new approach for simulating apparent camera motion through a 3D environment. The approach is motivated by a traditional technique used in 2D cel animation, in which ...
Daniel N. Wood, Adam Finkelstein, John F. Hughes, ...
« Prev « First page 1828 / 2140 Last » Next »