5205 search results - page 173 / 1041 » Tilings and model theory |
99
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
104
click to vote
CAISE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical probl...
123
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
76
Voted
APAL
2008
15 years 28 days ago
2008
The principal result of this paper answers a long-standing question in the model theory of arithmetic [KS, Question 7] by showing that there exists an uncountable arithmetically cl...
89
Voted
ISSTA
1996
ACM
15 years 5 months ago
1996
ACM
In assessing the quality of software, we would like to make engineering judgements similar to those based on statistical quality control. Ideally, we want to support statements li...