811 search results - page 60 / 163 » Modeling and Virtualization for Secure Computing Environment... |
VAST
2004
ACM
14 years 2 months ago
2004
ACM
The benefits of including virtual humans into cultural heritage reconstructions are twofold: the realism of architectural models is increased by populating them; and, as well, it...
ICWS
2004
IEEE
13 years 10 months ago
2004
IEEE
In this paper we describe JClarens; a Java based implementation of the Clarens remote data server. JClarens provides web services for an interactive analysis environment to dynami...
SOFSEM
2005
Springer
14 years 2 months ago
2005
Springer
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...
CAD
2000
Springer
13 years 8 months ago
2000
Springer
The protocols selected and developed by the NIIIP Consortium have been validated in three end-of-cycle demonstrations. In each cycle, a team with expertise in technical product da...
CSFW
2004
IEEE
14 years 15 days ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...