2694 search results - page 413 / 539 » A Description Logic of Change |
ICDCIT
2004
Springer
15 years 3 months ago
2004
Springer
We focus on the problem of distributing key updates in secure dynamic groups. Due to changes in group membership, the group controller needs to change and distribute the keys used...
BIRTHDAY
2009
Springer
15 years 2 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
FORMATS
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
POPL
1995
ACM
15 years 1 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
DSVIS
2008
Springer
14 years 11 months ago
2008
Springer
This paper reports on our experience in using the MuiCSer process framework for the redesign of the user interface for operating an industrial digital printing system. MuiCSer is c...