2067 search results - page 148 / 414 » Logics of propositional control |
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
165
Voted
TABLEAUX
2000
Springer
15 years 5 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
121
click to vote
TRUSTBUS
2007
Springer
15 years 8 months ago
2007
Springer
Usage control governs the handling of sensitive data after it has been given away. The enforcement of usage control requirements is a challenge because the service requester in gen...
150
click to vote
ICIS
2004
15 years 3 months ago
2004
Location-based services (LBS), enabled by advances in mobile and positioning technologies, have afforded users with a pervasive flexibility to be uniquely addressable and to acces...
115
click to vote
CICLING
2001
Springer
15 years 6 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...