3468 search results - page 48 / 694 » An open logical framework |
119
click to vote
MA
1999
Springer
15 years 4 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...
97
Voted
CSREAPSC
2006
15 years 1 months ago
2006
104
click to vote
PDP
2005
IEEE
15 years 6 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...
122
Voted
JAPLL
2011
14 years 7 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
15 years 6 days 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...