4460 search results - page 510 / 892 » Resources in process algebra |
180
click to vote
SAC
2005
ACM
16 years 10 days ago
2005
ACM
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...
181
click to vote
AADEBUG
2005
Springer
16 years 10 days ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
232
click to vote
DEXA
2005
Springer
16 years 9 days ago
2005
Springer
Unlike processing snapshot queries in a traditional DBMS, the processing of continuous queries in a data stream management system (DSMS) needs to satisfy quality requirements such ...
146
click to vote
JCDL
2004
ACM
16 years 6 days ago
2004
ACM
We have developed MetaExtract, a system to automatically assign Dublin Core + GEM metadata using extraction techniques from our natural language processing research. MetaExtract i...
165
click to vote
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper1 provides a view of modeling the information dominance problem of military systems as representative of modeling other complex systems. The ideas are an extension of ea...