5386 search results - page 1031 / 1078 » Approaches to Multimedia and Security |
179
click to vote
EWSA
2005
Springer
16 years 8 days 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...
172
Voted
FOSSACS
2005
Springer
16 years 8 days 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 ...
185
click to vote
OOPSLA
2004
Springer
16 years 3 days 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...
195
click to vote
SIGIR
2010
ACM
15 years 10 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...
192
click to vote
DAGSTUHL
2010
15 years 8 months ago
2010
We have adopted a numerical method from computational fluid dynamics, the Lattice Boltzmann Method (LBM), for real-time simulation and visualization of flow and amorphous phenomen...