3420 search results - page 639 / 684 » A Language-Based Approach to Security |
ICMCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Audio Video coding Standard (AVS) is China’s secondgeneration source coding/decoding standard with fully Intellectual Properties. As the sixth part of AVS standard, AVSDRM aims ...
127
Voted
EWSA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
127
Voted
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
137
Voted
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
Java workloads are becoming more and more prominent on various computing devices. Understanding the behavior of a Java workload which includes the interaction between the applicat...
138
Voted
SIGIR
2010
ACM
15 years 7 months ago
2010
ACM
Web-based social systems enable new community-based opportunities for participants to engage, share, and interact. This community value and related services like search and advert...