Sciweavers

1260 search results - page 166 / 252
» The Role of Models in Leveraging Information
Sort
View
JCS
2008
119views more  JCS 2008»
14 years 10 months ago
Synthesising verified access control systems through model checking
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
BMCBI
2007
179views more  BMCBI 2007»
14 years 10 months ago
Automated smoother for the numerical decoupling of dynamics models
Background: Structure identification of dynamic models for complex biological systems is the cornerstone of their reverse engineering. Biochemical Systems Theory (BST) offers a pa...
Marco Vilela, Carlos Cristiano H. Borges, Susana V...
JUCS
2008
161views more  JUCS 2008»
14 years 10 months ago
A Model-Driven Approach to Align Business Processes with User Interfaces
: Information Technology (IT) has evolved over time from its traditional use as administrative support towards a more strategic role to enforce business processes (BP). But several...
Kênia Soares Sousa, Hildeberto Mendonç...
MICCAI
2006
Springer
15 years 10 months ago
Segmentation of Neck Lymph Nodes in CT Datasets with Stable 3D Mass-Spring Models
Abstract. The quantitative assessment of neck lymph nodes in the context of malign tumors requires an ecient segmentation technique for lymph nodes in tomographic 3D datasets. We p...
Bernhard Preim, Gero Strauß, Heiko Seim, Ilk...
IR
2008
14 years 10 months ago
An analysis on document length retrieval trends in language modeling smoothing
Abstract. Document length is widely recognized as an important factor for adjusting retrieval systems. Many models tend to favor the retrieval of either short or long documents and...
David E. Losada, Leif Azzopardi