866 search results - page 36 / 174 » A Formal Investigation of |
CONCUR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
ESANN
2004
13 years 11 months ago
2004
This work investigates whether population vector coding could be a principle mechanism for sensorimotor transformations. This paper presents a formal demonstration of how populatio...
FUIN
2006
13 years 9 months ago
2006
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...
ACSC
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
EACL
1993
ACL Anthology
13 years 11 months ago
1993
ACL Anthology
In gb, the importance of phrase-structure rules has dwindled in favour of nearness conditions. Today, nearness conditions play a major role in defining the correct linguistic rep...