1941 search results - page 194 / 389 » Reasoning about Computations Using Two-Levels of Logic |
133
Voted
FAC
2010
15 years 2 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
123
Voted
AMR
2007
Springer
15 years 10 months ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
121
Voted
AINA
2007
IEEE
15 years 7 months ago
2007
IEEE
Many Ubiquitous computing applications can be considered as planning and acting problems in environments characterised by uncertainty and partial observability. Such systems rely ...
218
Voted
ASC
2007
16 years 2 months ago
2007
Credit risk has always been an important issue for banks
and other financial intermediaries. A reliable and consistent
computing system is necessary to simplify the decision
mak...
125
Voted
TABLETOP
2006
IEEE
15 years 9 months ago
2006
IEEE
Tabletop systems provide a platform for developing novel interaction systems, including tangible user interfaces (TUIs). This paper presents a study of the effects of a tabletop s...