1788 search results - page 50 / 358 » Model Theory for Process Algebra |
77
Voted
ENTCS
2010
15 years 20 days ago
2010
Many models have been defined in order to describe the evolution of a disease in a population. The modelling of diseases is helpful to understand the mechanisms for their spread a...
91
Voted
EDO
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
107
Voted
AI
2000
Springer
15 years 13 days ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
114
Voted
APBC
2004
15 years 2 months ago
2004
This paper describes the core theories and enabling technologies developed for molecular imaging at the BMIT Group and the CMSP Center over the last 10 years, in the areas of dyna...
ACSD
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper elaborates on the application of some aspects of robust systems control theory to the management of uncertainty and risk in distributed and complex design processes, ha...