-
1
المؤلفون: Maribel Fernández, Miguel F. Ramos, Sandra Alves
المصدر: LSFA
مصطلحات موضوعية: Functional programming, General Computer Science, Event (computing), business.industry, Computer science, Programming language, Concurrency, Complex event processing, Access control, Context (language use), computer.software_genre, Theoretical Computer Science, Metamodeling, business, Reactive system, computer
-
2
المؤلفون: Alberto Pardo, Cecilia Manzino
المصدر: LSFA
مصطلحات موضوعية: Property (philosophy), General Computer Science, Relation (database), Computer science, Agda, Programming language, 020207 software engineering, Context (language use), 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Theoretical Computer Science, 010201 computation theory & mathematics, Abstract syntax, 0202 electrical engineering, electronic engineering, information engineering, Representation (mathematics), computer, computer.programming_language
-
3
المؤلفون: Eduardo Almentero, Edgar Sarmiento, Guina Sotomayor Alzamora, Julio Cesar Sampaio do Prado Leite
المصدر: CLEI Selected Papers
مصطلحات موضوعية: General Computer Science, Computer science, Programming language, Software requirements specification, 020207 software engineering, Scenario, Functional requirement, Context (language use), 02 engineering and technology, computer.file_format, Petri net, computer.software_genre, Theoretical Computer Science, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Executable, Scenario testing, computer, Natural language, Simulation, Computer Science(all)
-
4
المؤلفون: José Ramon Pasillas-Díaz, Sylvie Ratté
المصدر: CLEI Selected Papers
مصطلحات موضوعية: Similarity (geometry), General Computer Science, business.industry, Pattern recognition, Context (language use), 02 engineering and technology, Construct (python library), Base (topology), Machine learning, computer.software_genre, Class (biology), Theoretical Computer Science, ComputingMethodologies_PATTERNRECOGNITION, 020204 information systems, Outlier, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Anomaly detection, Artificial intelligence, business, computer, Mathematics, Computer Science(all)
-
5
المؤلفون: Andrés Arrigoni, Daniel Calegari, Andrea Delgado
المصدر: CLEI Selected Papers
مصطلحات موضوعية: General Computer Science, Database, Computer science, Business process, business.industry, Context (language use), 02 engineering and technology, computer.software_genre, Theoretical Computer Science, Set (abstract data type), Business process management, Data model, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Key (cryptography), 020201 artificial intelligence & image processing, business, Software engineering, computer, Computer Science(all)
-
6
المصدر: Electronic Notes in Theoretical Computer Science
مصطلحات موضوعية: General Computer Science, Multimedia, business.industry, Computer science, 020207 software engineering, Context (language use), 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Theoretical Computer Science, Software, Work (electrical), 010201 computation theory & mathematics, Application domain, 0202 electrical engineering, electronic engineering, information engineering, Augmented reality, Internet of Things, business, Set (psychology), computer, Efficient energy use
-
7
المؤلفون: Maribel Fernández, Sandra Alves
المصدر: LSFA
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAPمصطلحات موضوعية: Rewriting, General Computer Science, Computer access control, Emergency management, business.industry, Computer science, Operational Semantics, Access Control, ComputerApplications_COMPUTERSINOTHERSYSTEMS, Context (language use), Access control, Security policy, Computer security, computer.software_genre, Operational semantics, Theoretical Computer Science, Security Policies, Role-based access control, business, Graph-based analysis, computer, Computer Science(all)
-
8
المؤلفون: Maciej Piróg, Jeremy Gibbons
المصدر: MFPS
مصطلحات موضوعية: Discrete mathematics, General Computer Science, Semantics (computer science), Programming language, Coalgebra, Concurrency, Coinduction, completely iterative monads, Context (language use), ComputerApplications_COMPUTERSINOTHERSYSTEMS, computer.software_genre, Monad (functional programming), Corecursion, Computer science (mathematics), Theoretical Computer Science, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, resumptions, Universal property, coalgebra, computer, Mathematics, Computer Science(all)
-
9
المؤلفون: Luciano Cavalheiro da Silva, Felipe Weber Fehlberg, Cláudio F. R. Geyer, Anubis Graciela de Moraes Rossetto, Carlos O. Rolim, Valderi Reis Quietinho Leithardt
المصدر: CLEI Selected Papers
مصطلحات موضوعية: Middleware, Context model, Ubiquitous computing, General Computer Science, Process (engineering), Computer science, Context (language use), Pervasive Computing, Context-aware Computing, Context server, computer.software_genre, Theoretical Computer Science, Human–computer interaction, Middleware (distributed applications), Data mining, Adaptation, Layer (object-oriented design), Adaptation (computer science), computer, Computer Science(all)
-
10
المؤلفون: Alex Smith, Dan R. Ghica
المصدر: MFPS
مصطلحات موضوعية: Very-large-scale integration, Digital electronics, Theoretical computer science, General Computer Science, Game semantics, asynchronous digital circuits, Computer science, business.industry, Programming language, Concurrency, Context (language use), Geometry, computer.software_genre, Theoretical Computer Science, Imperative programming, Asynchronous communication, Compiler, business, computer, Computer Science(all)