Ergebnisse für: model-checking based data retrieval

data base queries data retrieval database database retrieval graph-based query languages graph-based representation information retrieval model checking model-checking based data retrieval modeling semistructured data retrieval web data retrieval

data base queries data retrieval database database retrieval graph-based query languages graph-based representation information retrieval model checking model-checking based data retrieval modeling semistructured data retrieval web data retrieval

big data cloud computing cryptography formal methods model checking access control authentication cloud data management context-based data analysis data protection and data hiding database and storage security dynamic software architecture internet of things massive dataset mining NoSQL databases

big data cloud computing cryptography formal methods model checking access control authentication cloud data management context-based data analysis data protection and data hiding database and storage security dynamic software architecture internet of things massive dataset mining NoSQL databases

Agent Oriented Programming Decision Making Distributed constraint optimization Petri nets Social computing Agent-based simulation Automated reasoning Autonomous vehicles Cognitive modeling Distributed information systems Graph theory Human robot teams Knowledge representation Machine learning Model-checking

Agent Oriented Programming Decision Making Distributed constraint optimization Petri nets Social computing Agent-based simulation Automated reasoning Autonomous vehicles Cognitive modeling Distributed information systems Graph theory Human robot teams Knowledge representation Machine learning Model-checking