2338 search results - page 7 / 468 » Separation in Theory - Coordination in Practice |
CHI
2007
ACM
14 years 9 months ago
2007
ACM
BIRTHDAY
2007
Springer
14 years 3 months ago
2007
Springer
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...
COLING
1994
13 years 10 months ago
1994
In this note, we present results concerning the theory and practice of determining for a given document which of several categories it best fits. We describe a mathematical model ...
PODC
2003
ACM
14 years 2 months ago
2003
ACM
All too often a seemingly insurmountable divide between theory and practice can be witnessed. In this paper we try to contribute to narrowing this gap in the field of ad-hoc rout...
NORDSEC
2009
Springer
14 years 3 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...