4346 search results - page 740 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
171
click to vote
ESORICS
2005
Springer
15 years 12 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
166
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
An important, largely unexplored area of computer image generation is the simulation of weathering and its effects on appearance. Weathering results from the interaction of the en...
156
click to vote
SIGECOM
2006
ACM
16 years 11 days ago
2006
ACM
In multiagent systems, strategic settings are often analyzed under the assumption that the players choose their strategies simultaneously. However, this model is not always realis...
177
click to vote
PDCAT
2005
Springer
15 years 12 months ago
2005
Springer
Recently a bulk of research [14, 5, 15, 9] has been done on the modelling of the smallworld phenomenon, which has been shown to be pervasive in social and nature networks, and eng...
192
click to vote
TVCG
2011
15 years 1 months ago
2011
—This paper describes a complete system to create anatomically accurate example-based volume deformation and animation of articulated body regions, starting from multiple in vivo...