2612 search results - page 381 / 523 » Mobile Processes and Termination |
131
click to vote
WOSP
2000
ACM
15 years 9 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
126
click to vote
BNCOD
2007
15 years 6 months ago
2007
Query performance issues over semi-structured data have led to the emergence of materialised XML views as a means of restricting the data structure processed by a query. However p...
129
click to vote
IJCAI
2001
15 years 6 months ago
2001
Anchoring is the process of creating and maintaining the correspondence between symbols and percepts that refer to the same physical objects. Although this process must necessaril...
141
click to vote
MASCOTS
2003
15 years 6 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
128
click to vote
AAAI
2000
15 years 6 months ago
2000
Anchoring is the process of creating and maintaining the correspondence between symbols and percepts that refer to the same physical objects. Although this process must necessaril...