10916 search results - page 360 / 2184 » On Constructive Connectives and Systems |
188
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The development of Web Information Systems(WIS) is a hot research topic both in industry and academia. This paper presents a platform for ontology driven WIS development:...
177
click to vote
ISCIS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Given a set of observations of an existing concurrent system with repetitive sub-functions, we consider the construction of an MSC graph representing the functionality of...
222
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
By shifting the burden of proofs to the user, a proof-carrying authorization (PCA) system can automatically enforce complex access control policies. Unfortunately, managing those p...
157
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
: This paper proposes the notion of problem templates (PTs), a concept based on theories of memory and expertise. These mental constructs allow experts to quickly recognise problem...
158
click to vote
ISSAC
2005
Springer
16 years 12 days ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...