1940 search results - page 83 / 388 » The Dynamic Logic of Permission |
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
ISCAS
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper fuzzy controllers are designed for FACTS devices in interconnected power systems. Two typical FACTS devices, STATCOM and UPFC, are used as examples to show that FACT...
111
click to vote
ICLP
1998
Springer
15 years 4 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
JCP
2008
14 years 12 months ago
2008
Differentiated Services (DiffServ)-aware network potentially can provide the next generation platform for multimedia support in the Internet. In this work we look at improving band...
KI
2007
Springer
15 years 6 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...