Filters








247,393 Hits in 2.7 sec

Verification of Object Relational Maps

Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit K. Jha
2007 Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)  
Object-Relational (OR) maps are widely used to mediate between these two data models. We present a system to verify correctness of OR maps.  ...  We have built a verification tool called ROUNDTRIP that is able to both validate and find errors in OR maps defined in the ESQL language of the Microsoft EDM data model.  ...  We thank Supratik Chakraborty for comments on a draft of this paper.  ... 
doi:10.1109/sefm.2007.45 dblp:conf/sefm/MehraRSJ07 fatcat:ru4obkmvgfa67hkm2xatbv3bnm

Spatiotemporal Specification & Verification of Multimedia Scenarios [chapter]

I. Kostalas, T. Sellis, M. Vazirgiannis
1999 Database Semantics  
A Multimedia Application (MAP) consists of a set of media objects ordered in the spatial and tempocal domains.  ...  temporal duration and relationships among the participating objects and animation of the application.  ...  Another important aspect is the verification of MAP scenarios during MAP development.  ... 
doi:10.1007/978-0-387-35561-0_11 fatcat:euv2rrs7brfynoo42z2rrwtbxi

Formal verification of ontology transformation for distribution network information model based on meta-model theory

Boya Qin, Dong Liu, Yiming Lu
2020 IET Cyber-Physical Systems  
The model updating and model mapping instances were specified using model checking verification tool SPIN.  ...  This study presents a formal description and verification method of the ontology transformation process of the distribution network information model based on the meta-model theory.  ...  Owing to the state space explosion problem caused by an enormous quantity of objects, attributes, and relations in different models, verification of the model mapping process is quite complicated.  ... 
doi:10.1049/iet-cps.2020.0018 fatcat:tnitbw3zgbgzpns55hsu26pdd4

3D Semantic Map Computation Based on Depth Map and Video Image [chapter]

Włodzimierz Kasprzak, Maciej Stefańczyk
2012 Lecture Notes in Computer Science  
A model-based object recognition in video and depth images is proposed for the purpose of semantic map creation in mobile robotics.  ...  The verification of hypotheses is due to a top-down occlusion propagation process, that explains why some object parts are hidden or occluded.  ...  The top-down verification process for a selected subset of hypotheses consists of two steps: the initial generation of occlusion relations (between objects) and the propagation of occlusion relations from  ... 
doi:10.1007/978-3-642-33564-8_53 fatcat:poug7lt4ofeopdwosj7mcwsbhi

The expert approach to verification at cognitive mapping of ill-structured situations

N. Abramova, S. Kovriga
2011 IFAC Proceedings Volumes  
Verification of cognitive maps is proposed as the means to cope with human-induced risks, with the main objective defined as the early detection and blocking of risks to validity of end results of modelling  ...  Expert verification capabilities in detecting risks to validity of end results and direct errors in cognitive maps are shown in the example of real-world map.  ...  to be satisfied by an object of verification.  ... 
doi:10.3182/20110828-6-it-1002.03480 fatcat:6jlbzzthdjakdc3clnpfazutsi

Modular and Distributed Verification of SysML Activity Diagrams
english

Messaoud Rahim, Ahmed Hammad, Malika Ioualalen
2013 Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development  
In this paper, we propose new approach to allow a modular and distributed verification of SysML Activity Diagram basing on the derived Petri net.  ...  Model-based development for complex system design has been used to support the increase of systems complexity.  ...  The modular verification is enabled by analysing each activity using its related Petri net module.  ... 
doi:10.5220/0004320602020205 dblp:conf/modelsward/RahimAM13 fatcat:h67lo67lpfagldh3lu3z7lkc6a

Language-Independent Model Transformation Verification

Kevin Lano, Shekoufeh Kolahdouz Rahimi, Tony Clark
2014 International Conference on Software Technologies: Applications and Foundations  
One hinderance to model transformation verification is the large number of different MT languages which exist, resulting in a large number of different language-specific analysis tools.  ...  to express the semantics of transformations in any of these languages.  ...  The output variables become exists-quantified variables of the relations of the r i mappings.  ... 
dblp:conf/staf/LanoRC14 fatcat:va6zkyugd5dmzhzgyd4hwc2fv4

Antirealism/realism of Wittgenstein's language-game idea

Heda Festini
2018 Papers on Philosophy Psychology Sociology and Pedagogy  
and correct use), B. new objectivity: community, agreement (criterion - following rules), C. the new nuance in the nation of truth: justification, verification (proof as an method of verification).  ...  new criterion we have the following map of realism: 1.  ...  VI map Vittgenstein's concept of objectivity (interpretations): 1) Objectivity is saved: a) because the objectivity of knowledge is granted by (FL) (Gill 1966), b) because the notion of public objects  ... 
doi:10.15291/radovifpsp.2404 fatcat:6ir7h2qfnfhbjfi6egyrcn4la4

A Hierarchical Category Model for Geometrical Product Specifications (GPS)

Qunfen Qi, Paul J. Scott, Xiangqian Jiang, Wenlong Lu
2016 Procedia CIRP  
International standards for tolerancing (ISO GPS) have undergone considerable evolutionary changes to meet the demands of the modern information age.  ...  adjoint functors the related complete set of verification operations can then be derived.  ...  of operations in specification should be mapped to a total order set of operation in verification.  ... 
doi:10.1016/j.procir.2016.02.165 fatcat:f5bpmwocfngw5phhqtpnlfut3u

A Security Policy Model Transformation and Verification Approach for Software Defined Networking [article]

Yunfei Meng and Zhiqiu Huang and Guohua Shen and Changbo Ke
2020 arXiv   pre-print
Based on these insights, we propose a security policy model transformation and verification approach for SDN in this paper.  ...  Then, we propose a model transformation system based on SDN system model and mapping rules, which can enable network managers to convert SPM model into corresponding underlying network configuration policies  ...  This paper has been sponsored and supported by National Natural Science Foundation of China (Grant No.61772270), partially supported by National Natural Science Foundation of China (Grant No.61602262).  ... 
arXiv:2005.13206v2 fatcat:xyjioekxobexrdw277xkqlopzy

Combination of Salient Object Detection and Image Matching for Object Instance Recognition

Evan Kristia Wigati, Gede Putra Kusuma, Yesun Utomo
2020 Advances in Science, Technology and Engineering Systems  
Experimental results showed that the Fβ score and Mean Absolute Error (MAE) of saliency map on Stanford Mobile Visual Search Dataset (SMVS) are quite satisfactory.  ...  In this paper, we proposed a combination method between Salient Object Detection and Object Instance Recognition using Image Matching and Geometric Verification.  ...  Related Works Related Works of Object Instance Recognition Object Instance Recognition is a more refined method of object recognition that provides information about the attribute of an object such as  ... 
doi:10.25046/aj050273 fatcat:fpvi2zhvefdtrdkyxtfghu7ji4

Bounded verification of Ruby on Rails data models

Jaideep Nijjar, Tevfik Bultan
2011 Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11  
The use of scripting languages to build web applications has increased programmer productivity, but at the cost of degrading dependability.  ...  We then use bounded verification techniques implemented in the Alloy Analyzer to look for errors in these formal data model specifications.  ...  The only difference is that its relations always map a set of objects to another set of objects.  ... 
doi:10.1145/2001420.2001429 dblp:conf/issta/NijjarB11 fatcat:4dhrnodyorgt7g4zdh6mwovzri

Improving Visual Grounding with Visual-Linguistic Verification and Iterative Reasoning [article]

Li Yang, Yan Xu, Chunfeng Yuan, Wei Liu, Bing Li, Weiming Hu
2022 arXiv   pre-print
A language-guided feature encoder is also devised to aggregate the visual contexts of the target object to improve the object's distinctiveness.  ...  Existing methods extend the generic object detection framework to this problem.  ...  retrieve related features for object localization.  ... 
arXiv:2205.00272v2 fatcat:3k354hg6jne5ffdcnj74iwk2tq

Pairwise geometric matching for large-scale object retrieval

Xinchao Li, Martha Larson, Alan Hanjalic
2015 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR)  
Spatial verification is a key step in boosting the performance of object-based image retrieval.  ...  In addition, we combine the information on geometric relations from both the individual correspondences and pairs of correspondences to further improve the verification accuracy.  ...  Spatial verification for object retrieval We now evaluate the proposed method in the object retrieval context.  ... 
doi:10.1109/cvpr.2015.7299151 dblp:conf/cvpr/LiLH15 fatcat:enjbpf25rzb6xewusogiwxn4mm

Finding security bugs in web applications using a catalog of access control patterns

Joseph P. Near, Daniel Jackson
2016 Proceedings of the 38th International Conference on Software Engineering - ICSE '16  
The only user-provided input is a mapping from application types to the types of the catalog; the rest of the process is entirely automatic.  ...  We propose a specification-free technique for finding missing security checks in web applications using a catalog of access control patterns in which each pattern models a common access control use case  ...  This research was funded in part by the National Science Foundation under grant 0707612 (CRI: CRD -Development of Alloy Tools, Technology and Materials)  ... 
doi:10.1145/2884781.2884836 dblp:conf/icse/NearJ16 fatcat:ww767dmpxrepjk5wvl63xjiaca
« Previous Showing results 1 — 15 out of 247,393 results