Sciweavers

1788 search results - page 127 / 358
» Model Theory for Process Algebra
Sort
View
104
Voted
MIE
2008
141views Healthcare» more  MIE 2008»
15 years 2 months ago
Decision Support System Supporting Clinical Reasoning Process - an Evaluation Study in Dementia Care
In this paper, a case study is presented in which an early prototype of a decision-support system was integrated in the process of investigating patients with suspected dementia an...
Helena Lindgren
128
Voted
SIGMOD
2010
ACM
259views Database» more  SIGMOD 2010»
15 years 4 months ago
An extensible test framework for the Microsoft StreamInsight query processor
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...
Alex Raizman, Asvin Ananthanarayan, Anton Kirilov,...
120
Voted
FOSSACS
2006
Springer
15 years 4 months ago
Processes for Adhesive Rewriting Systems
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
Paolo Baldan, Andrea Corradini, Tobias Heindel, Ba...
97
Voted
ER
2006
Springer
112views Database» more  ER 2006»
15 years 4 months ago
Deriving Concepts for Modeling Business Actions
We outline a procedure called communicative and material functions analysis that can be used to derive business modeling concepts. It is rooted in the language-action perspective o...
Peter Rittgen
101
Voted
QEST
2005
IEEE
15 years 6 months ago
An approximation algorithm for labelled Markov processes: towards realistic approximation
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
Alexandre Bouchard-Côté, Norm Ferns, ...