Sciweavers

5227 search results - page 177 / 1046
» Enterprise modeling using class and instance models
Sort
View
133
Voted
COMCOM
2004
96views more  COMCOM 2004»
15 years 4 months ago
Achieving proportional delay differentiation efficiently
In this paper, we focus on efficiently achieving Proportional Delay Differentiation (PDD), an instance of the Proportional Differentiation Model (PDM) first proposed under the Dif...
Hoon-Tong Ngin, Chen-Khong Tham
254
Voted
AMT
2001
Springer
191views Multimedia» more  AMT 2001»
15 years 9 months ago
An Authoring Tool for Building Adaptive Learning Guidance Systems on the Web
In the field of guided learning on the Internet we present, in this paper, an interactive tool for designing intelligent tutoring systems on the web. Our tool makes easier the crea...
José Antonio Macías Iglesias, Pablo ...
CORR
2010
Springer
98views Education» more  CORR 2010»
15 years 4 months ago
Extended Computation Tree Logic
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
Roland Axelsson, Matthew Hague, Stephan Kreutzer, ...
252
Voted
CADE
2011
Springer
14 years 4 months ago
ASASP: Automated Symbolic Analysis of Security Policies
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
Francesco Alberti, Alessandro Armando, Silvio Rani...
141
Voted
CVPR
2008
IEEE
16 years 6 months ago
Unsupervised discovery of visual object class hierarchies
Objects in the world can be arranged into a hierarchy based on their semantic meaning (e.g. organism ? animal ? feline ? cat). What about defining a hierarchy based on the visual ...
Josef Sivic, Bryan C. Russell, Andrew Zisserman, W...