1940 search results - page 175 / 388 » The Dynamic Logic of Permission |
178
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this paper we show that it is possible to model observable behaviour of coalgebras independently from their internal dynamics, but within the general framework of representing ...
174
click to vote
MONET
2002
15 years 6 months ago
2002
The Ad hoc Multicast Routing protocol (AMRoute) presents a novel approach for robust IP Multicast in mobile ad hoc networks by exploiting user-multicast trees and dynamic logical c...
186
click to vote
ICAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Dynamic adaptation may be used to prevent software downtime while new requirements and responses to environmental conditions are incorporated into the system. Previously, we studi...
141
click to vote
ISLPED
2006
ACM
16 years 17 days ago
2006
ACM
In this paper, we identify the key challenges that oppose subthreshold circuit design and describe fabricated chips that verify techniques for overcoming the challenges. Categorie...
167
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...