3689 search results - page 130 / 738 » A Language with Distributed Scope |
121
click to vote
TOPLAS
2010
15 years 1 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
167
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Image and video codecs are prevalent in multimedia devices, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncom...
125
click to vote
EDOC
2009
IEEE
15 years 6 months ago
2009
IEEE
Methods for enterprise architecture, such as TOGAF, acknowledge the importance of requirements engineering in the development of enterprise architectures. Modelling support is nee...
122
click to vote
APLAS
2006
ACM
15 years 7 months ago
2006
ACM
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality...
127
click to vote
ECTEL
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Given the huge amount of static and dynamic content created for eLearning tasks, the major challenge for extending their use is to improve the effectiveness of retrieval ...