2963 search results - page 239 / 593 » An architecture for generic extensions |
188
Voted
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
161
Voted
AICT
2007
IEEE
16 years 1 months ago
2007
IEEE
—The topic of policy-based management is introduced. Its specific application by the ACCENT project to call control is then discussed. The APPEL policy language supports regular ...
148
click to vote
PAIRING
2007
Springer
16 years 29 days ago
2007
Springer
— In EUROCRYPT 2006, Cheon proposed breakthrough algorithms for pairing-related problems such as the q-weak/strong Diffie-Hellman problem. Using that the exponents of an element ...
137
click to vote
ICMCS
2006
IEEE
16 years 27 days ago
2006
IEEE
Person-based indices and timelines can enable fast and non-linear access to recorded meetings. This paper focuses on how to automatically construct those indices and timelines by ...
195
click to vote
APSEC
2005
IEEE
16 years 15 days ago
2005
IEEE
While aspect-oriented modeling has been recognized as a useful means of improving the modularity of software design, the de facto standard modeling language UML lacks first-class...