[PDF] Top 20 Flexibilidad del trabajo, empleo informal e informalidad del empleo en México
Has 10000 "Flexibilidad del trabajo, empleo informal e informalidad del empleo en México" found on our website. Below are the top 20 most common "Flexibilidad del trabajo, empleo informal e informalidad del empleo en México".
Formal Modeling and Verification of Context-Aware Systems using Event-B
... of context-aware systems often starts from the scratch requirements, then it is built gradually when we have new requirements about context entities and ...of context data. The system ... See full document
117
Application development using modeling and dynamical systems analysis
... dynamical systems analysis for context aware applications requires significant volumes of data that includes the inputs to the context-aware system and the behaviour of the smart ...a ... See full document
5
An event-based conceptual model for context-aware movement analysis
... The possible types of spatial and temporal relations are considered in the literature on temporal and spatial reasoning (e.g. Allen 1983, Egenhofer 1991, Frank 1992) and on geographic information systems (e.g. ... See full document
103
A Framework for Developing Context-aware Systems
... of context information, infer high- level contexts by searching the knowledge base, and provide context information to ...that context information are provided to users who are authorized to view or ... See full document
17
Automatic Transformation of Ordinary Timed Petri Nets into Event B for Formal Verification
... the Event-B model EBM from a given ordinary timed Petri net ...system using OTPN net, and the net simulation is the only the practical way to evaluate, and verify its critical ...the ... See full document
6
Modeling Event Background for If Then Commonsense Reasoning Using Context aware Variational Autoencoder
... (base event-inference dimension-target) hierarchi- cal structure through an example from ...base event collection of Event2Mind is nonidentical to that of ...base event x and one inference dimension ... See full document
5
A symbolic model checking approach in formal verification of distributed systems
... distributed systems. Model checking constructs a behavioral model of the system using formal concepts such as operations, states, events and ...Symbolic Modeling Toolkit (GSMT) to design and ... See full document
11
Engineering context aware systems and applications : a survey
... 3.2.5.1. Formal Verification. Formal verification techniques provide a safer development of systems in intelligent environ- ments, what leads to increase their reliability ...and ... See full document
119
Systematic Design and Formal Verification of Multi-Agent Systems
... Automatic verification can be extremely time consuming, and we do not mechanically verify all the proofs in this ...multi-agent systems with continuous dynamics in which agents communicate with each other ... See full document
41
A Taxonomy of Collaborative Context Aware Systems
... There are three principles and techniques that are needed to achieve collaborative sens- ing in this context. First is team and role coordination which comprises dynamic entity classification and dynamic role ... See full document
14
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, ... See full document
60
Formal Development of Fault Tolerant Majority Based Replica Control Protocol using Event B
... give verification and formal development of our model, we are using Event-B that is event-driven formal ...method. Formal methods [7][8][9][10] are mathematical ... See full document
8
Proceedings of the 1st International Workshop on Software Engineering Challenges for Ubiquitous Computing (SEUC 2006)
... It was argued in [13] that the interactions of elec- tronic objects of the physical world of PDAs, sensors, RFIDs, and other embedded systems of an open Ubiquitous Computing environment will be based on policies ... See full document
40
A Portal for Interacting with Context Aware Ubiquitous Systems
... One of the objectives of the project is to address an infrastructure research question, i.e. to what extent can the Grid services paradigm adopted in the ‘back end’ be applied in the direction of the devices. The project ... See full document
7
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
... In previous work [48], model checking facilities for RoboChart have been developed and applied in verification. This provides a valuable automated technique for model development, which allows detection of ... See full document
56
Challenges in Formal Methods for Testing and Verification of Cloud Computing Systems
... 1. Introduction and Backgrounds. Cloud computing [27] has emerged recently as a new paradigm that moved enterprise computing from the classical host-based architecture pattern into the elastic computing pattern. This new ... See full document
5
An Extensive Survey of Context-Aware Middleware Architectures
... distributed systems was to hide heterogeneity and distribution by providing ways of treating remote resources as if they were ...middleware systems for Pervasive Computing focus on providing suitable ... See full document
8
A Context-based framework for mobile applications
... by using hard-coded variables and the nodes are simulated on one or more computers since the focus of the implementation is not on implementing a web service or establish- ing network ... See full document
148
FORMAL VERIFICATION OF REAL TIME DISTRIBUTED SYSTEMS USING B METHOD
... and verification that the implementation satisfies the system ...past, verification was an informal process performed by the ...of systems increased, it became necessary to consider the ... See full document
14
Towards Formal Proofs of Feedback Control Theory
... the verification of engineering systems in general and on control systems stability and perfor- mance using formal methods in particular, some related works in this area are ... See full document
34
Related subjects