3831 search results - page 119 / 767 » Dynamic Context Logic |
147
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
162
click to vote
ICEIS
2002
IEEE
15 years 11 months ago
2002
IEEE
: In this paper we present our most recent work carried out in the wider context of the IST-ADRENALIN project, to facilitate formation and lifecycle management of networked enterpr...
158
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
: The monolithic and inflexible nature of current middleware has made it difficult to deal with emerging technologies such as multimedia. Since these applications have timeliness c...
155
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
Noise can cause digital circuits to switch incorrectly and thus produce spurious results. Noise can also have adverse power, timing and reliability e ects. Dynamic logic is partic...
169
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...