Sciweavers

2570 search results - page 331 / 514
» The Semantic Web And Its Languages
Sort
View
IADIS
2004
15 years 8 months ago
Web server authorisation with the policyupdater access control system
The PolicyUpdater1 system is a generic access control system that provides policy evaluations and dynamic policy updates. These functions are achieved by the use of a logic-based ...
Vino Fernando Crescini, Yan Zhang, Weiyuan Wang
IAT
2007
IEEE
16 years 1 months ago
Web Mining in the EVA Intelligent Agent Architecture
This paper describes the architecture of the fourth version of the Evolutionary Virtual Agent (EVA). This new light-weight java-based implementation is based on a dynamical rule-b...
Philippe Millet, Jean-Claude Heudin
SIGCSE
2006
ACM
162views Education» more  SIGCSE 2006»
16 years 23 days ago
Accessibility first!: a new approach to web design
This paper proposes an accessibility first pedogogy for web design, in which the course is organized around the requirement of implementing web pages accessible to visually impai...
Brian J. Rosmaita
KBSE
2005
IEEE
16 years 12 days ago
Prufrock: a framework for constructing polytypic theorem provers
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
Justin Ward, Garrin Kimmell, Perry Alexander
SIGSOFT
2007
ACM
16 years 7 months ago
On marrying ontological and metamodeling technical spaces
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...
Fernando Silva Parreiras, Steffen Staab, Andreas W...