5205 search results - page 662 / 1041 » Tilings and model theory |
193
Voted
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
Although mental states have its own place in the definition of message semantics, social commitments have emerged as a complementing element to circumvent the limitations of usin...
214
click to vote
CCS
2005
ACM
16 years 12 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
149
click to vote
CHARME
2005
Springer
16 years 12 days ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
156
Voted
CONTEXT
2005
Springer
16 years 12 days ago
2005
Springer
Most direct reference theorists believe that ‘I’ is a pure indexical. This means that when ‘I’ is uttered, it contributes with the speaker to what is said. But, from some c...
150
Voted
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
Various algorithms have been developed and applied to structural optimization, in which cross-sectional areas of structure members are assumed to be continuous. In most cases of p...