Event models from policy descriptions (English)

In: 2016 2nd International Conference on Next Generation Computing Technologies (NGCT)   ;  283-290  ;  2016

How to get this document?

Check access
Download
Commercial Copyright fee: €27.81 Basic fee: €4.00 Total price: €31.81
Academic Copyright fee: €27.81 Basic fee: €2.00 Total price: €29.81

An event occurs when an object changes its state. Event based models of the world and their descriptions are useful in understanding and performing actions to produce desired changes in the world. In this paper, we identify the challenges in modelling policy descriptions using events and show how policies can be interpreted in terms of the underlying events. We demonstrate that event based models produce a semantics that is more intuitively understood and useful in object manipulations to achieve desired goals.

Table of contents conference proceedings

The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.

01
IoT-based real time signature authentication and transfer from document to document with DNA encryption
Zachariah, Sharon A. / Rajasekar, Divya / Agilandeeswari, L / Prabukumar, M. | 2016
1
Author list
| 2016
1
Preface
| 2016
1
[Title page]
| 2016
1
Table of contents
| 2016
09
Capital market forecasting by using sentimental analysis
Srivastava, Rohan / Agarwal, Soumil / Garg, Dhruv / Patni, Jagdish Chandra | 2016
13
CSMA/CA channel synchronization using semaphore
Khandelwal, Mukesh Kumar / Chandnani, Manali / Sharma, Meeta | 2016
21
An analytical approach for leukemia diagnosis from light microscopic images of Rbcs (Computational approach for leukemia diagnosis)
Majumder, Durjoy / Das, Madhumita | 2016
25
Real time prediction of bus arrival time: A review
Choudhary, Rubina / Khamparia, Aditya / Gahier, Amandeep Kaur | 2016
30
Smart tourist for dubai city
Kaur, Maninder Jeet / Maheshwari, Piyush | 2016
35
WASF — Weighted average based subjective feedback system for E-healthcare services
Silas, Salaja / Rajsingh, Elijah Blessing / Issac, Titus | 2016
40
IoT based interactive shopping ecosystem
Khanna, Abhirup / Tomar, Ravi | 2016
46
Network on chip simulator: Design, implementation and comparison of Mesh, Torus and RiCoBiT topologies
Baby, Nikhil / Mathew, Sangeetha / Abraham, Sarah / Ravindranath, Sampoorna / Sanju, V. | 2016
51
Slope stability analysis in a part of East Sikkim, using Remote Sensing & GIS
Rawat, M. S. / Joshi, Varun / Sundriyal, Y. P. | 2016
61
A high speed and low power 4-bit multiplier using FinFET technology
Bathla, Shikha / Purohit, Nidhi | 2016
65
Resource reliability using fault tolerance in cloud computing
Charity, Talwana Jonathan / Hua, Gu Chun | 2016
72
Design of CMOS instrumentation amplifier with improved gain & CMRR for low power sensor applications
Sharma, Buddhi Prakash / Mehra, Rajesh | 2016
78
DGS based mutual coupling reduction between microstrip patch antenna arrays for WIMAX applications
Kumar, Aditi / Devane, Satish | 2016
84
Hybrid method of reduced order modelling for LTI system using evolutionary algorithm
Sikander, Afzal / Thakur, Padmanabh / Uniyal, Ishita | 2016
89
Intelligent accident management system using IoT and cloud computing
Singhal, Akriti / Sarishma, / Tomar, Ravi | 2016
93
A novel approach to image steganography using quadtree partition
Kumar, Jeet | 2016
99
A comparison of dual material double gate JLFET with single material double gate JLFET
Kumar, Ajay / Chaudhry, Amit / Kumar, Vijay / Sharma, Vishal | 2016
103
Query driven spatial pattern analysis and visualization through GIS
Kainthura, Poonam / Gupta, Shivani | 2016
106
Comparative analysis of sentiment orientation using SVM and Naive Bayes techniques
Rana, Shweta / Singh, Archana | 2016
112
Optimal resource allocation approach in cloud computing environment
Kumar, Pawan / Kumar, Rakesh | 2016
118
Design of modulation index persistent MLI-DSTATCOM for voltage quality enhancement in electrical distribution system
Rakesh, T. / Madhusudhan, V. / Sushama, M. | 2016
124
Behavior pattern analysis for resource utilization in cloud computing
Preet, Sidak / Kaur, Amardeep | 2016
131
E-COCOMO: An effort estimation model for cleanroom software development approach
Sharma, Hitesh Kumar / Tomar, Ravi / Patni, J. C. / Dumka, Ankur | 2016
137
Age-related variation in EEG to music stimulation: A nonlinear analysis
Verma, Tapish / Saini, Indu | 2016
144
Rapid computation and analysis using a multiple core to enhance SSVEP based system
Aljshamee, Mustafa / Hassani, Rashid / Luksch, Peter | 2016
152
Global aerosol single scattering albedo characteristics
Sarma, VVSAPM Kameswara / Mehta, Manu | 2016
157
Modelling of human emotion using analysis of natural speech using refinement approach
Salankar, Nilima / Chaurasia, Sandeep / Prasad, Ajay | 2016
164
Paraphrase generator using dictionary lookup for Kannada language
Gadag, Ashwini / Sagar, B M | 2016
169
Neural network based GIS application for air quality visualization
Gupta, Rishabh / Singh, Niharika / Singh, Bhagwant | 2016
173
Simulation study of logic circuits using optimized graphene nanoribbon FETs
Imran, Ale / Singh, Ronil Stieven / Mishra, Mayank | 2016
178
Design of low-cost manual cum electric-powered wheelchair for disabled person's to use in indoor
Avutu, Sateesh Reddy / Bhatia, Dinesh / Reddy, B. Venkateswara | 2016
185
Designing and implementaion of smart LPG trolley with home safety
Kumar, Ajay / Kumar, Mukesh / Singh, Balwinder | 2016
191
Comparative analysis of different controlling techniques using direct torque control on induction motor
Kumar Bindal, Ranjit / Kaur, Inderpreet | 2016
197
Wearable antenna for skin cancer detection
Neha, / Kaur, Amritjot | 2016
202
An exhaustive and comparative analysis of brain computer interface algorithms
Arora, Bhawna / Choudhury, Tanupriya / Sabitha, Sai / Kumar, Praveen | 2016
208
I/O and memory management: Two keys for tuning RDBMS
Bhushan, Abhinav / Rastogi, Parag / Sharma, Hitesh Kumar / Ahmed, Md. Ezaz | 2016
215
Process virtualisation in Internet of Things(IoT) — A study
Srivastava, Aditya / Vishnoi, Ankit / Srivastava, Kingshuk | 2016
219
Algorithm for deadline based task scheduling in heterogeneous grid environment
Chauhan, Anubha / Singh, Smita / Negi, Sarita / Verma, Shashi Kant | 2016
223
An intelligent way to play music by brain activity using brain computer interface
Arora, Bhawna / Choudhury, Tanupriya / Kumar, Praveen / Mukherjee, | 2016
229
Physical telepresence: Growth trends of Tangible User Interface and its future
Kumar, Vikas / Choudhury, Tanupriya / Sabitha, Sai | 2016
236
A state of art on source code plagiarism detection
Agrawal, Mayank / Sharma, Dilip Kumar | 2016
242
Syntax based machine translation using blended methodology
Singh, Shashi Pal / Kumar, Ajai / Sahu, Pragya / Verma, Preeti | 2016
248
Architecture and performance based comparison of semantic web service processes
Khamparia, Aditya / Pandey, Babita | 2016
257
Real time sentiment analysis of tweets using Naive Bayes
Goel, Ankur / Gautam, Jyoti / Kumar, Sitesh | 2016
262
Sentiment analysis using neural network
Kumar, Akshi / Rani, Ritu | 2016
268
Clickbait detection using deep learning
Agrawal, Amol | 2016
273
Tones and break indices(ToBI) generation for Assamese sentences
Sarma, Shikar Kr. / Deb, Nabamita | 2016
277
Improved optimization technique using hybrid ACO-PSO
Pal, Dheeraj / Verma, Pratima / Gautam, Divya / Indait, Priyanka | 2016
283
Event models from policy descriptions
Parameswaran, Nandan / Maheshwari, Piyush | 2016
291
Quantum evolutionary computational technique for constrained engineering optimization
Astuti, V. / Raj, K. Hans | 2016
299
A hybrid approach for trajectory tracking control of redundant robot manipulators
Rani, Manju / Kumar, Naveen | 2016
306
Feature level sentiment analysis on movie reviews
Sharma, Pallavi / Mishra, Nidhi | 2016
312
A novel way to classify passenger data using Naïve Bayes algorithm (A real time anti-terrorism approach)
Singh, Saurabh / Verma, Shashikant / Tiwari, Akhilesh / Tiwari, Aditya | 2016
317
News web page classification using url content and structure attributes
Arya, Chandrakala / Dwivedi, Sanjay K. | 2016
323
Hindi spoken signals for speech synthesizer
Ramteke, R. J. / Ramteke, G. D. | 2016
329
Towards a framework for web page recommendation system based on semantic web usage mining: A case study
Singh, Satyaveer / Aswal, Mahendra Singh | 2016
335
Smart traffic controller using fuzzy inference system(STCFIS)
Patil, Radhika / Srinivasaraghavan, Anuradha | 2016
341
Computer vision based personalized clothing assistance system: A proposed model
Kalra, Bhavya / Srivastava, Kingshuk / Prateek, Manish | 2016
347
Diagnosis of diabetic retinopathy using machine learning classification algorithm
Bhatia, Karan / Arora, Shikhar / Tomar, Ravi | 2016
352
Contour tracking based knowledge extraction and object recognition using deep learning neural networks
Phanikrishna, Ch. / Reddy, Annapareddy V. N. | 2016
355
Dynamic call admission control for QoS provision in mobile multimedia networks using artificial neural networks
Pandey, Anand Kumar / Kumar, Sanjeev / Kumar, Krishan | 2016
362
Real-time analysis and visualization of online social media dynamics
Kumar, Pawan / Sinha, Adwitiya | 2016
368
BER analysis of communication systems employing orthogonal frequency coding in surface acoustic wave (SAW) correlators
Gedela, R B Prasad / Nemade, Harshal B / Bhattacharjee, Ratnajit | 2016
373
Implementation of RSSI indexed look up table based AGC for improved dynamic range of DSSS based wireless rf transceivers
Boyapati, Hari Krishna / Elubudi, Rajeev Kumar / Ungati, Sailaja / Jain, Manoj | 2016
378
Influence of the cluster head position on the lifetime of wireless sensor network — A case study
Maheswari, D. Uma / Meenalochani, M. / Sudha, S. | 2016
382
Fuzzy based named data networking(NDN) for vehicular information network
Kaur, Kanwalpreet / Kad, Sandeep | 2016
387
An advanced clustering scheme for wireless sensor networks using particle swarm optimization
Kaur, Harminder / Prabahakar, Gaurav | 2016
393
A new parallel approach for prefix sum on BSN mesh
Gupta, Ashish / Sarkar, Bikash Kanti | 2016
397
A novel design of stair cased shaped fractal antenna for wireless applications
Khanna, Ghriti / Sharma, Narinder | 2016
401
D-EPAR: Distance-efficient power aware routing protocol for MANETs
Kaur, Amandeep / Kaur, Jasmeet / Kansal, Nishu | 2016
409
Reconfigurable band pass filter using Kaiser window for satellite communication
Kumar, Vivek / Mehra, Rajesh / Shallu, | 2016
414
A dynamic successive interference cancellation (Dsic) scheme for latency reduction in Mc-Cdma multiuser detection
Kaur, Tamasdeep / Arora, Mamta | 2016
420
A novel asynchronous Mc-Cdma multiuser detector with modified Particle Swarm Optimization algorithm (MPSO)
Kaur, Ramandeep / Arora, Mamta | 2016
426
Comprehensive analysis of security attacks and intrusion detection system in wireless sensor networks
Shanthi, S. / Rajan, E. G. | 2016
432
Coverage and connectivity aware data gathering protocol for wireless sensor networks
Tomar, Vishakha / Singh, Dharmendra | 2016
439
Energy efficient rough fuzzy set based clustering and cluster head selection for WSN
Mondal, Sanjoy / Dutta, Pratik / Ghosh, Saurav / Biswas, Utpal | 2016
445
Performance analysis of propagation structures on DSR routing protocol in mobile ad-hoc networks
Bilandi, Naveen / Kaur, Kulwinder | 2016
450
An artificial neural network based approach to calculate BER in CDMA for multiuser detection using MEM
Kaur, Ramanpreet / Singh, Simrandeep | 2016
456
A wearable computing system for wireless communication and gesture based human computer interface
Kalra, Siddharth / Jain, Sarika / Agarwal, Amit | 2016
463
Outage and capacity analysis of cascaded diamond shaped cooperative relay network
Kumar, Divya / Kumar, Arun | 2016
468
Comprehensive analysis of various rough set tools for data mining
Gupta, Swati / Garhwal, Sunita | 2016
475
Knowledge discovery, analysis and prediction in healthcare using data mining and analytics
Raul, Akshay / Patil, Atharva / Raheja, Prem / Sawant, Rupali | 2016
479
Recommender system — Making lifestyle healthy using information retrieval
Gaur, Neha / Singh, Archana | 2016
485
The impact of effectiveness of the simulator training program on different factors of needs and interest of the training
Kumar, Surender / Arekar, Kirti / Jain, Rinku | 2016
490
An empirical analysis of maternal health data: A case study of India
Gupta, Shelly / Singh, Shailendra Narayan / Kumar, Dharminder | 2016
494
Visualization, analysis and structural pattern infusion of DBLP co-authorship network using Gephi
Aggrawal, Niyati / Arora, Anuja | 2016
501
Computer aided technique for Epilepsy classification using cross wavelet transform and RBF-kernel based support vector machine
Sengupta, Sourya / Chanda, Debarshi / Mitra, Anirjit / Dutta, Saibal | 2016
506
Stock market sentiment analysis based on machine learning
Rajput, Vikash Singh / Dubey, Shirish Mohan | 2016
511
FPGA realization of novel techniques for DDR based data acquisition system
Mehta, Ravi H. / Jasani, Karan / Israni, Dippal / Shah, Arpita | 2016
516
Improved email spam classification method using integrated particle swarm optimization and decision tree
Kaur, Harpreet / Sharma, Ajay | 2016
522
A novel prime numbers based hashing technique for minimizing collisions
Bhullar, Rohit K. / Pawar, Lokesh / Kumar, Vijay / Anjali, | 2016
528
Design simulation and performance assessment of yield and loss forecasting for 100 KWp grid connected solar PV system
Raj, Ashish / Gupta, Manoj / Panda, Sampurna | 2016
534
Context aware restricted tourism domain question answering system
Pathak, Swati / Mishra, Nidhi | 2016
540
Aspect based opinion mining for mobile phones
Singh, Sonal Meenu / Mishra, Nidhi | 2016
547
Exploratory data analysis on temperature data of Indian states from 1800–2013 (Analysis of trends in temperature data for prediction modelling)
Agrawal, Aditya / Verma, Dharvi / Gupta, Shilpa | 2016
553
Time series and predictability analysis of air pollutants in Delhi
Bhardwaj, Rashmi / Pruthi, Dimple | 2016
561
Multidimensional attacks classification based on genetic algorithm and SVM
Kaur, Ramandeep / Bansal, Meenakshi | 2016
566
Experimental analysis of traditional classification algorithms on bio medical dtatasets
Aswal, Shobha / Ahuja, Neelu Jyothi / Ritika, | 2016
569
An efficient system using item & user-based CF techniques to improve recommendation
Rodrigues, Celine Michael / Rathi, Sheetal / Patil, Ganesh | 2016
575
Spectral domain characterization of genome sequences
Venkateswarlu, Pedakolmi / Rajan, E. G. | 2016
579
An agent based architecture using ontology for intrusion detection system
Bist, Meenakshi / Panwar, Ajeet Pal Singh / Kumar, Vishwas | 2016
588
CloudBox — A virtual machine manager for KVM based virtual machines
Sharma, Akshay / Ahmad, Asif Riaz / Singh, Divyashish / Patni, Jagdish Chandra | 2016
595
Performance analysis of differential dual hop relaying system over Alpha-mu fading channel
Singh, S. Pratap / Swati, | 2016
600
Simulator for intelligent software testing technique employing the most effective resource allocation algorithm for simultaneous optimization of software quality and release schedule
Sharma, Bhawna / Sharma, Sudesh K. | 2016
608
Click analytics: What clicks on webpage indicates?
Kaur, Kawaljit / Singh, Hardeep | 2016
615
A hybrid approach of load balancing through VMs using ACO, MinMax and genetic algorithm
Kaur, Kanwarpreet / Kaur, Amardeep | 2016
621
A comparative study of resource allocation strategies for a green cloud
Satveer, / Aswal, Mahendra Singh | 2016
626
A secure virtualized cloud environment with pseudo-hypervisor IP based technology
Babu, K Mahesh / Kiran, P Sai | 2016
631
Design of parity preserving combinational circuits using reversible gate
Sasamal, Trailokya Nath / Mohan, Anand / Singh, Ashutosh Kumar | 2016
639
Mobile cloud computing architecture for computation offloading
Khanna, Abhirup / Kero, Archana / Kumar, Devendra | 2016
644
Energy-conscious resource scheduling in cloud computing environment: A pragmatic view
Singh, Harvinder / Tyagi, Sanjay / Kumar, Pardeep | 2016
650
An improved approach for denoising MRI using non local means filter
Joshi, Nikita / Jain, Sarika / Agarwal, Amit | 2016
654
Mammogram's denoising in spatial and frequency domain
Kumar, Mukesh / Thakkar, V. M / Bhadauria, H. S / Kumar, Indrajeet | 2016
660
VLSI implementation of 3D integer DCT for video coding standards
Gupta, Shubham / Kalra, Medha / Singhal, Rashika / Joshi, Amit | 2016
665
A cognitive perceptive framework with gait recognition technology
Prathyusha, Kanakam / Hussain, S Mahaboob / Chakravarthy, A. S. N. | 2016
670
Automatic summarization of basketball sport video
Chauhan, Divya / Patel, Narendra M. / Joshi, Mahasweta | 2016
674
Parallel implementation of face detection algorithm on GPU
Bhatia, Aashna R. / Patel, Narendra M. / Chauhan, Narendra C. | 2016
678
Denoising and SNR improvement of ECG signals using wavelet based techniques
Yadav, Tanuj / Mehra, Rajesh | 2016
683
Improved image compression technique using IWT-DCT transformation
Agrwal, Shubh Lakshmi / Sharma, Meeta / Kumari, Deeksha / Gupta, Sandeep Kumar | 2016
687
Image inpainting in remotely sensed images by optimizing NLTV model by ant colony optimization
Singh, Manjinder / Kaur, Harpreet | 2016
694
Improved copy-move forgery detection in image by feature extraction with KPCA and adaptive method
Mangat, Sawinder Singh / Kaur, Harpreet | 2016
704
Classification of noisy English alphabets using neural network
Nautiyal, Chanda Thapliyal / Sunita, / Rana, U. S. / Kumar, Rahul | 2016
710
Storage optimization of video surveillance from CCTV camera
Arora, Shikhar / Bhatia, Karan / Amit, V | 2016
714
Sad state analysis of speech signals using different clustering algorithm
Palo, Hemanta Kumar / Mohanty, Mihir Narayan / Chandra, Mahesh | 2016
719
A cellular logic array based data mining framework for object detection in video surveillance system
Singh, Surender / Prasad, Ajay / Srivastava, Kingshuk / Bhattacharya, Suman | 2016
725
Performance evaluation of retinal vessel segmentation using a combination of filters
Aarti, / Gupta, Neha | 2016
731
Skin carcinoma data analysis using morphological filters
Raju, S. Sree Hari / Rajan, E. G. | 2016
736
Dehazing image using analytical model and color attenuation prior
Kaur, Satinderpal / Bansal, Meenakshi / Bathla, Ashok Kumar | 2016
742
Video stabilization for an aerial surveillance system using sift and surf
Kaur, Jagdeep / Bathla, Ashok Kumar | 2016
748
Extraction of palmprint texture features using combined DWT-DCT and local binary pattern
Ramteke, R. J. / Alsubari, Akram | 2016
754
Performance evaluation of image enhancement using hybrid binary bat optimization
Kaur, Kirandeep / Bawa, Navneet | 2016
759
Quantification and categorization of emotion using cross cultural music: An EEG based fractal study
Sengupta, Sourya / Biswas, Sayan / Sanyal, Shankha / Banerjee, Archi / Sengupta, Ranjan / Ghosh, Dipak | 2016
765
Improved principle component analysis based gray stretch algorithm for landsat image segmentation
Kochher, Rajesh / Sharma, Amita | 2016
772
A cognitive perspective on road network extraction from high resolution satellite images
Chandra, Naveen / Ghosh, Jayanta Kumar | 2016
777
Spatial compression and reconstruction of digital video stream using morphological filters
Aparna, S. / Naidu, M. Ekambaram | 2016
782
Localization and quantification of ductal carcinoma in the calcified regions of gamma corrected mammographic images
Pingili, Madhavi / Prashanthi, G. / Rajan, E. G. | 2016
786
Monotone coloring of 3D MR image slices and extraction of their superficial and volumetric features
Kumar, A Arun / Rajan, E. G. | 2016
790
Volumetric feature extraction of 3D images defined over hexagonal prism lattice
Khan, Mohd. Sherfuddin / Lingam, M. Shankar / Mankar, Vijay H. | 2016
797
PassNeighbor: A shoulder surfing resistant scheme
Saeed, Swaleha / Umar, M Sarosh | 2016
803
Sensitivity analysis on AODV with Wormhole attack
Sarkar, Pratima / Kar, Chinmoy / Sen, Biswaraj / Sharma, Kalpana | 2016
808
A novel image encryption algorithm using AES and visual cryptography
Kalubandi, Venkata Krishna Pavan / Vaddi, Hemanth / Ramineni, Vishnu / Loganathan, Agilandeeswari | 2016
814
Securing biometric template using double hill cipher with self-invertible key and random permutation of pixels locations
Lakhera, Manmohan / Rauthan, M M S / Agarwal, Amit | 2016
818
Encoding passwords using QR image for authentication
Istyaq, Salim / Umar, Mohammad Sarosh | 2016
824
BotMAD: Botnet malicious activity detector based on DNS traffic analysis
Sharma, Pooja / Kumar, Sanjeev / Sharma, Neeraj | 2016
831
Cryptanalysis of smart card and biometric-hash based authentication scheme
Panwar, Narendra / Rauthan, Manmohan Singh / Agarwal, Amit | 2016
835
SHAKTI — Secured and highly adaptive knowledge base tracking information system using android platform
Sarkar, Abhishek Kumar / Shome, Sayantan / Hareem, Fareha / Das, Pradip Kumar | 2016
839
Analysis of detection algorithm of Sinkhole attack & QoS on AODV for MANET
Agrwal, Shubh Lakshmi / Khandelwal, Rakhi / Sharma, Pankaj / Gupta, Sandeep Kumar | 2016
843
The video hiding technique based on DWT and genetic algorithm with boolean functions
Sowmya, G / Meghana, K. / Subbarayudu, B. / Naidu, R. Ch. A. / Keerthi, G | 2016
850
XSS vulnerability assessment and prevention in web application
Shrivastava, Ankit / Choudhary, Santosh / Kumar, Ashish | 2016
854
A hybrid technique for data embedding over wireless sensor networks based on cover generation through variance
Sodhi, Reetika / Sharma, Anshul | 2016
861
On the generation of multiple ℓ-sequences from single WFCSR automaton for cryptographic applications
Akula, Ganesh / Naik, Vinod / Umadevi, B | 2016
868
Secure handover in WSN using FLAP
Kaur, Manpreet / Kaur, Simarpreet / Saini, Kamaljit Singh | 2016
873
Security enhancement in OCDMA system using multicode keying and data randomisers
Kaur, Upinderjit / Singh, Harjeevan | 2016
877
Securing IOT devices using SDN and edge computing
Aggarwal, Chaitanya / Srivastava, Kingshuk | 2016
883
Physical layer security in 5G wireless networks for data protection
Munisankaraiah, Sreeram / Kumar, A Arun | 2016
888
Credential and security issues of cloud service models
Dewangan, Bhupesh Kumar / Agarwal, Amit / Venkatadri, / Pasricha, Ashutosh | 2016
893
A comprehensive study on security attacks on SSL/TLS protocol
Sirohi, Preeti / Agarwal, Amit / Tyagi, Sapna | 2016
899
SCADA security issues and FPGA implementation of AES — A review
Singh, Amrik / Prasad, Ajay / Talwar, Yoginder | 2016
Feedback