3724 search results - page 465 / 745 » Timed regular expressions |
148
click to vote
CSFW
2005
IEEE
16 years 9 days ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
161
click to vote
APWEB
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Essential to an audience driven website design philosophy is the organization of information and functionality according to the requirements of the different audience cla...
196
click to vote
KI
2005
Springer
16 years 5 days ago
2005
Springer
To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can chang...
183
click to vote
LCPC
2005
Springer
16 years 5 days ago
2005
Springer
Titanium is an explicitly parallel dialect of JavaTM designed for high-performance scientific programming. It offers objectorientation, strong typing, and safe memory management...
160
click to vote
LPNMR
2005
Springer
16 years 5 days ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...