3468 search results - page 48 / 694 » An open logical framework |
MA
1999
Springer
14 years 3 months ago
1999
Springer
Although mobile agents are a promising technology, the large-scale deployment of agents and the existence of hosts running agencies will not happen until proper security mechanism...
CSREAPSC
2006
14 years 12 days ago
2006
PDP
2005
IEEE
14 years 4 months ago
2005
IEEE
The OpenMP source code repository is based on a set of representative applications and it is supported by a web site. It is an infrastructure that we make available to the communi...
JAPLL
2011
13 years 6 months ago
2011
Due to the fact that a large number of our ethical and behavioural norms have a conditional form, it is of great importance that deontic logics give an account of deontic commitme...
JSYML
2002
13 years 10 months ago
2002
f orderings provide an abstract framework in which to study spaces of orderings of formally real fields. Spaces of orderings of finite chain length are well understood [9] [12]. Th...