1902 search results - page 158 / 381 » Differential Dynamic Logics |
168
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
—A problem in technology mapping is that the quality of the final implementation depends significantly on the initially provided circuit structure. This problem is critical, es...
171
click to vote
LISP
2008
15 years 6 months ago
2008
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...
169
click to vote
ECSA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The importance of modelling the dynamic architectural characteristics of software systems has long been recognised. However, the nature of the dynamic architectural chara...
168
Voted
FSKD
2009
Springer
15 years 11 months ago
2009
Springer
—This paper presents some preliminary experimental results on RegionBoost, which is a typical example of a class of Boosting algorithms based on dynamic weighting schemes. It is ...
171
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...