[PDF] Top 20 Context-aware approach for formal verification
Has 10000 "Context-aware approach for formal verification" found on our website. Below are the top 20 most common "Context-aware approach for formal verification".
Context-aware approach for formal verification
... In this paper, we are concerned by two contributions: 1) The interface specification is facilitated, thanks to the transformation from use cases into IODs for each actor and using gates to relate IODs with system ... See full document
10
A Systematic Approach to Context Aware Service Design
... firm. Context-aware service, in which contextual information is used to adapt the behavior of service automatically to user’s situation and need, is recognized to open up new opportunities for the service ... See full document
11
1. Toward an ontology-based approach of context-aware
... the context-aware in the mobile learning environment has already been proposed in many ap- proaches, but most only offer a weak support for adaptation services, knowledge sharing, context reasoning, ... See full document
6
Context Based Recommendation Approach for Measurement and Evaluation Projects
... the context-aware ap- proach to the M&E, the need of being aware of the rele- vant context in this domain has been previously expressed in several works although none of them have provided ... See full document
18
A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation
... hop-by-hop approach, which is shown to converge in the absence of delay and allocates bandwidth to various users in a proportionally-fair ...specific context of vehicular ad hoc highest transmission ... See full document
13
A Logical Framework for the Representation and Verification of Context aware Agents
... different context-aware entities, independently from the application ...the context sub-domain. For example, the Person context class defines the general feature of a per- ...into ... See full document
12
On context in context aware ICT applications
... with context, identifying central themes that would be worked out in detail in chapter 3, 4 and ...using context and designing context awareness are strategies to improve the effectiveness and ... See full document
113
Formal Modeling and Verification of Context-Aware Systems using Event-B
... Since two new rules are appended to the require- ments, two corresponding events are added for this machine. The first one representing a new added rule is not extended. This event RainSharp describes the behav- ior of ... See full document
10
Continuous and Transparent User Authentication for Secure Internet Services
... new approach for user verification and session management that is applied in the context aware security by hierarchical multilevel architectures (CASHMA) system for secure biometric ... See full document
7
Framework for the Formal Specification and Verification of Security Guidelines
... an approach similar to our ...and verification of security properties rely on a custom PDG query language that serves to express the policies and to explore the PDG and verify satisfi- ability of the ... See full document
11
A context aware approach for handling concept drift in classification
... are combined into one contextual cluster that corresponds to one stable concept. In particular, the training data is ordered with respect to time, and divided into initial intervals that correspond to some probable ... See full document
214
An Analysis Approach for Context-Aware Energy Feedback Systems
... Since these data are from different sources, with different formats, and of huge amounts, we propose Multidimensional Analysis (MDA) as the first stage of the analysis approach. MDA can be used to provide detailed ... See full document
5
Putting it Simply: a Context Aware Approach to Lexical Simplification
... Word-Sentence Similarity First, we want to en- sure that the more complex word, which we are at- tempting to simplify, was not used precisely because of its complexity - to emphasize a nuance or for its specific shade of ... See full document
6
A Context Aware Approach for the Spatial Data Infrastructure Portal
... One advantage of this function is to help the user to access data proportional to his work field among the many spatial layers available in the storage of system server; because in spatial portals, several layers have ... See full document
10
Context-aware Computing: a Survey Preparing a Generalized Approach
... of context modeling. Their context- aware system employs a context model, which encapsu- lates a situational context into context hierarchies, which represent sets of actions by ... See full document
7
Approach to Model Based Development of Context Aware Application
... building context-aware systems is presented in [8] which specify six layers in the context-aware system development: the context gathering layer acquires context information from ... See full document
8
Formal verification of RFID system using model verification agent
... a formal verification using model checking can be implemented to handle the risk of the RFID ...the formal verification of the distributed systems, including hardware components, communication ... See full document
28
Control( ling): Known/Unknown
... Strict formal control brings high ...someone” approach in our ...Eastern approach to control in table 1, while the sophisticated classification of formal control is shown in figure ...Western ... See full document
13
Toward a rule based approach for context aware applications
... Mandarax approach is more appropriate in a query-driven (HTTP requests, SQL queries) system environment, where facts can stay in the database and are integrated on the ... See full document
105
Context analysis approach for context aware applications deployed on pervasive environments
... for context aware applications design and implementation are to perform four ...Collecting context from di ff erent sources such as sensors, widgets, ...analyzing context to detect changes, ... See full document
9
Related subjects