720 search results - page 92 / 144 » Visualization of Description Logic Models |
POLICY
2007
Springer
14 years 2 months ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
ENTCS
2010
13 years 5 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper suggests that the effects of counterterrorism policy on Violent Non-State Actors can be explored via systems dynamics. Specifically, we create a descriptive model of th...
DOLAP
2007
ACM
13 years 12 months ago
2007
ACM
In this paper, we deal with the problem of determining the best possible physical implementation of an ETL workflow, given its logical-level description and an appropriate cost mo...