4346 search results - page 740 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
130
Voted
ESORICS
2005
Springer
15 years 9 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...
124
click to vote
SIGGRAPH
1996
ACM
15 years 7 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...
125
Voted
SIGECOM
2006
ACM
15 years 9 months 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...
135
Voted
PDCAT
2005
Springer
15 years 9 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...
158
Voted
TVCG
2011
14 years 10 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...