1173 search results - page 141 / 235 » On the Compositionality of Round Abstraction |
104
click to vote
SLE
2009
Springer
15 years 7 months ago
2009
Springer
Modularisation can reduce the effort in designing and maintaining language specifications. Existing approaches to language modularisation are typically either focused on language ...
107
Voted
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, ...
121
Voted
ESORICS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
80
Voted
FSTTCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
GFKL
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Dialectometry produces aggregate distance matrices in which a distance is specified for each pair of sites. By projecting groups obtained by clustering onto geography on...