Sciweavers

1585 search results - page 203 / 317
» Data Quality Requirements Analysis and Modeling
Sort
View
FMCAD
2000
Springer
15 years 8 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
IS
1998
15 years 4 months ago
Information Modeling in the Time of the Revolution
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...
John Mylopoulos
INFOCOM
2005
IEEE
15 years 10 months ago
A quantitative study of authentication and QoS in wireless IP networks
— With the increasing demand for secure and high-quality communications in public access wireless IP networks, it is very important to have an in-depth understanding of the relat...
Wei Liang, Wenye Wang
DASFAA
2011
IEEE
270views Database» more  DASFAA 2011»
14 years 8 months ago
AutoBayesian: Developing Bayesian Networks Based on Text Mining
Bayesian network is a widely used tool for data analysis, modeling and decision support in various domains. There is a growing need for techniques and tools which can automatically...
Sandeep Raghuram, Yuni Xia, Jiaqi Ge, Mathew Palak...
MICCAI
2005
Springer
16 years 5 months ago
A Velocity-Dependent Model for Needle Insertion in Soft Tissue
Models that predict the soft tissue deformation caused by needle insertion could improve the accuracy of procedures such as brachytherapy and needle biopsy. Prior work on needle in...
Jessica R. Crouch, Chad M. Schneider, Josh Wainer,...