7397 search results - page 121 / 1480 » Processes Are Data: A Programming Model for Distributed Appl... |
141
click to vote
ICLP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
152
Voted
ICS
2000
Tsinghua U.
15 years 8 months ago
2000
Tsinghua U.
As the performance gap between the CPU and main memory continues to grow, techniques to hide memory latency are essential to deliver a high performance computer system. Prefetchin...
175
click to vote
CLADE
2003
IEEE
15 years 10 months ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
142
click to vote
WWW
2002
ACM
16 years 5 months ago
2002
ACM
The Semantic Web is a new layer of the Internet that enables semantic representation of the contents of existing web pages. Using common ontologies, human users sketch out the mos...
167
click to vote
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...