7288 search results - page 54 / 1458 » On process rate semantics |
129
click to vote
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. One of the main problems when creating execution-level process models is finding implementations for process activities. Carrying out this activity manually can be time ...
132
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
168
click to vote
AIML
2000
15 years 5 months ago
2000
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...
171
click to vote
DOLAP
2006
ACM
15 years 10 months ago
2006
ACM
One of the most important tasks performed in the early stages of a data warehouse project is the analysis of the structure and content of the existing data sources and their inten...
136
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...