Sciweavers

3564 search results - page 422 / 713
» Evaluating a Formal Modelling Language
Sort
View
AAAI
1994
15 years 5 months ago
A Qualitative Physics Compiler
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
Adam Farquhar
STTT
2008
134views more  STTT 2008»
15 years 3 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan
IJSWIS
2007
87views more  IJSWIS 2007»
15 years 3 months ago
An Ontology-Based Data Mediation Framework for Semantic Environments
In a semantic environment data is described by ontologies and ontology mapping has become a crucial aspect in solving the heterogeneity problems of semantically described data. Th...
Adrian Mocan, Emilia Cimpian
BMCBI
2007
147views more  BMCBI 2007»
15 years 4 months ago
Modeling biochemical transformation processes and information processing with Narrator
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
Johannes J. Mandel, Hendrik Fuß, Niall M. Pa...
153
Voted
CGF
2011
14 years 7 months ago
Procedural Modeling of Interconnected Structures
The complexity and detail of geometric scenes that are used in today’s computer animated films and interactive games have reached a level where the manual creation by tradition...
Lars Krecklau, Leif Kobbelt