12774 search results - page 212 / 2555 » A Framework for Proof Systems |
155
click to vote
LREC
2010
15 years 8 months ago
2010
This paper introduces the Ariadne Corpus Management System. First, the underlying data model is presented which enables users to represent and process heterogeneous data sets with...
181
click to vote
CSUR
1999
15 years 6 months ago
1999
: The navigational freedom in conventional hypermedia applications leads to comprehension and orientation problems [Nielsen 1990]. Adaptive hypermedia attempts to overcome these pr...
196
click to vote
IJWIS
2007
15 years 6 months ago
2007
Purpose – This paper aims to address some security issues in open systems such as service-oriented applications and grid computing. It proposes a security framework for these sy...
181
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
177
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
In the multimedia field, metadata are becoming increasingly important for efficiently cataloguing the abundant flood of information. (Metadata are data on information structure...