1536 search results - page 30 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
SAC
2010
ACM
14 years 3 months ago
2010
ACM
Web-based collaboration systems typically require dynamic and context-based interactions between people and services. To support such complex interaction scenarios, we introduce a...
CONCUR
1998
Springer
14 years 29 days ago
1998
Springer
Alternating transition systems are a general model for composite systems which allow the study of collaborative as well as adversarial relationships between individual system compo...
HAIS
2010
Springer
13 years 10 months ago
2010
Springer
Spatial relations are essential for understanding the image configuration and modeling common sense knowledge. In most of existing methods, topological, directional and distance s...
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
Self-healing systems focus on how to reducing the complexity and cost of the management of dependability policies and mechanisms without human intervention. This position paper pr...
APAL
2007
13 years 8 months ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...