5334 search results - page 296 / 1067 » Communicating quantum processes |
186
click to vote
APWEB
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, a novel formalized finite state mobile agent computation model based on the virtual organization is presented. In this model, all the actions (e.g. service, migratio...
187
click to vote
INTELLCOMM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Today, event logs contain vast amounts of data that can easily overwhelm a human. Therefore, the mining of frequent patterns from event logs is an important system and ne...
146
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— Pipelined ASIC architectures are increasingly being used in forwarding engines for high speed IP routers. We explore optimization issues in the design of memory-efficient data...
139
Voted
CONCUR
1997
Springer
15 years 10 months ago
1997
Springer
We prove that a bounded stack can be specified in process algebra with just the operators alternative and sequential composition and iteration. The bounded bag cannot be specified ...
152
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
We show how the formal description language LOTOS can be used to de ne software architectures and how patterns over LOTOS can serve to characterize architectural styles. We charact...