467 search results - page 20 / 94 » Designer Definites in Logical Form |
VL
1993
IEEE
14 years 1 months ago
1993
IEEE
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organiz...
CSCWD
2007
Springer
14 years 3 months ago
2007
Springer
The context of a collective activity is characterized by all information produced during the activity. The comprehension of this context by each actor is essential for the success...
ICNSC
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, a variance constrained filtering problem is considered for systems with both non-Gaussian noises and polytopic uncertainty. A novel filter is developed to estimate t...
DEXAW
2004
IEEE
14 years 26 days ago
2004
IEEE
The needs for various forms of information systems relating to the European environment and ecosystem are reviewed, and limitations indicated.. Existing information systems are re...
SP
2002
IEEE
13 years 8 months ago
2002
IEEE
We introduce the RT framework, a family of Rolebased Trust-management languages for representing policies and credentials in distributed authorization. RT combines the strengths o...