Výsledky vyhledávání - acm: d.: software/d.3: programming languages/d.3.4: processes/d.3.4.9: retractable computer

Planning and monitoring the execution of web service requests.

Autoři: Lazovik, Alexander Aiello, Marco Papazoglou, Mike

Zdroj: International Journal on Digital Libraries; Jun2006, Vol. 6 Issue 3, p235-246, 12p

Témata: WEB services, PROGRAMMING languages, INTERNET, APPLICATION software, INFORMATION technology, COMPUTER service industry, COMPUTER software, ELECTRONIC data processing, COMPUTERS

A theory of retractable and speculative contracts

Autoři: Barbanera, Franco Lanese, Ivan de'Liguoro, Ugo

Přispěvatelé: Barbanera, Franco Lanese, Ivan de'Liguoro, Ugo

Zdroj: Science of Computer Programming. 167:25-50

Témata: Behavioral contracts Backtracking Speculative execution Compliance Reversible computing, Backtracking, Behavioral contracts, Compliance, Reversible computing, Speculative execution, Software, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, compliance, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], 3. Good health, backtracking, 0202 electrical engineering, electronic engineering, information engineering, reversible computing, speculative execution, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-01912858/file/SCP-Main.pdf
https://hal.archives-ouvertes.fr/hal-01912858v1
https://www.sciencedirect.com/science/article/pii/S0167642318302636#!
https://dblp.uni-trier.de/db/journals/scp/scp167.html#BarbaneraLd18
https://hal.inria.fr/hal-01912858
https://hal.inria.fr/hal-01912858/document
https://cris.unibo.it/handle/11585/653075
https://hdl.handle.net/11585/653075
https://doi.org/10.1016/j.scico.2018.06.005
https://hdl.handle.net/2318/1672252
https://doi.org/10.1016/j.scico.2018.06.005

Software requirements prioritization and selection using linguistic tools and constraint solvers-a controlled experiment.

Autoři: McZara, Jason Sarkani, Shahryar Holzer, Thomas a další

Zdroj: Empirical Software Engineering; Dec2015, Vol. 20 Issue 6, p1721-1761, 41p

Témata: REQUIREMENTS engineering, COMPUTER software development, PROGRAMMING languages, FEASIBILITY studies, RESOURCE management

Retractable Contracts

Autoři: Barbanera, Franco Dezani-Ciancaglini, Mariangiola Lanese, Ivan a další

Přispěvatelé: Barbanera, Franco Dezani-Ciancaglini, Mariangiola Lanese, Ivan a další

Zdroj: Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software ; https://inria.hal.science/hal-01227693 ; Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, Apr 2015, London, United Kingdom

Témata: Compliance, Behavioural contracts, Backtracking, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: London, United Kingdom

Dostupnost: https://inria.hal.science/hal-01227693
https://inria.hal.science/hal-01227693v1/document
https://inria.hal.science/hal-01227693v1/file/bdll.pdf

CHECKPOINT-BASED ROLLBACK RECOVERY IN SESSION-BASED PROGRAMMING.

Autoři: MEZZINA, CLAUDIO ANTARES TIEZZI, FRANCESCO YOSHIDA, NOBUKO

Zdroj: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 1, p1-36, 36p

Témata: PROGRAMMING languages, LANGUAGE & languages

ASPLOS-IV proceedings : fourth international conference on architectural support for programming languages and operating systems : Santa Clara, California, April 8-11, 1991 / spons. by ACM in coop. with the IEEE Computer Society.

Autoři: International Conference on Architectural Support for Programming Languages and Operating Systems (4 ; 1991 ; Santa Clara). Association for Computing Machinery. Institute of Electrical and Electronics Engineers. Computer Society.

Přispěvatelé: International Conference on Architectural Support for Programming Languages and Operating Systems (4 ; 1991 ; Santa Clara). Association for Computing Machinery. Institute of Electrical and Electronics Engineers. Computer Society.

Zdroj: Bibliogr. przy rozdz.
Index.

Témata: Sieci komputerowe, Komputery -- konferencje

Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1759164&theme=nukat

MONITORING ASSERTION-BASED BUSINESS PROCESSES.

Autoři: AIELLO, MARCO LAZOVIK, ALEXANDER

Zdroj: International Journal of Cooperative Information Systems; Sep2006, Vol. 15 Issue 3, p359-389, 31p, 4 Diagrams, 2 Charts, 1 Graph

Témata: BUSINESS planning, COMPUTER networks in business enterprises, COMPUTER software development, COMPUTER systems, ELECTRONIC information resources, COMPUTER service industry

Conveyor belt experiment setup for programmable logic controller education.

Autoři: Tepe, Cengiz Aslan, Abidin Sefa Eminoğlu, İlyas

Zdroj: International Journal of Electrical Engineering Education; Jul2023, Vol. 60 Issue 3, p258-272, 15p

Témata: PROGRAMMABLE controllers, CONVEYOR belts, BELT conveyors, COMPUTER-aided design software, PROGRAMMING languages

Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings / J. Hughes (ed.).

Přispěvatelé: Hughes, John (1958- ). Springer Nature. pbl ACM Conference (5 ; 1991 ; Cambridge).

Zdroj: Bibliogr. przy poszczególnych referatach.

Témata: Języki programowania funkcyjnego -- konferencje, Architektura komputerów -- konferencje

Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1596742&theme=nukat

Retractable Contracts

Autoři: Barbanera Franco Dezani-Ciancaglini Mariangiola Lanese Ivan a další

Přispěvatelé: Barbanera Franco Dezani-Ciancaglini Mariangiola Lanese Ivan a další

Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 203, Iss Proc. PLACES 2015, Pp 61-72 (2016)

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Backtracking, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, Behavioural contracts, 16. Peace & justice, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Logic in Computer Science (cs.LO), Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Mathematics, Compliance, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: https://arxiv.org/pdf/1602.03595
http://arxiv.org/abs/1602.03595
https://doaj.org/article/3a942061158747a9a0c8027b527731e9
https://inria.hal.science/hal-01227693v1
https://arxiv.org/pdf/1602.03595
https://arxiv.org/abs/1602.03595
https://hdl.handle.net/2318/2077454
https://doi.org/10.4204/EPTCS.203.5

Retractable and Speculative Contracts

Autoři: BARBANERA, Franco Lanese, Ivan De’Liguoro, Ugo a další

Přispěvatelé: BARBANERA, Franco Lanese, Ivan De’Liguoro, Ugo a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783319597454

Témata: Theoretical Computer Science, Retractability, Session contracts, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Behavioural contracts, compliance, subcontract relation, reversibility, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-01633262/file/mainCOORD.pdf
https://inria.hal.science/hal-01633262v1
https://inria.hal.science/hal-01633262v1/document
https://doi.org/10.1007/978-3-319-59746-1_7
https://rd.springer.com/chapter/10.1007/978-3-319-59746-1_7
https://hal.inria.fr/hal-01633262/document
https://iris.unito.it/handle/2318/1641515
https://link.springer.com/chapter/10.1007/978-3-319-59746-1_7
https://dblp.uni-trier.de/db/conf/coordination/coordination2017.html#BarbaneraLd17
https://doi.org/10.1007/978-3-319-59746-1_7
https://hdl.handle.net/11585/614437
https://doi.org/10.1007/978-3-319-59746-1_7
http://springerlink.com/content/0302-9743/copyright/2005/
https://hdl.handle.net/20.500.11769/297979
https://doi.org/10.1007/978-3-319-59746-1_7

Template Semantics for Model-Based Notations.

Autoři: Niu, Jianwei Atlee, Joanne M. Day, Nancy A.

Zdroj: IEEE Transactions on Software Engineering; Oct2003, Vol. 29 Issue 10, p866-882, 17p, 1 Diagram, 18 Charts

Témata: SOFTWARE engineering, COMPUTER software

From use case maps to executable test procedures: a scenario-based approach.

Autoři: Kesserwan, Nader Dssouli, Rachida Bentahar, Jamal a další

Zdroj: Software & Systems Modeling; Apr2019, Vol. 18 Issue 2, p1543-1570, 28p

Témata: TEST systems, SYSTEMS software, LANGUAGE ability testing, SEISMIC testing, TESTING, NATURAL languages, AUTOMATION software

CAUSAL CONSISTENCY FOR REVERSIBLE MULTIPARTY PROTOCOLS.

Autoři: MEZZINA, CLAUDIO ANTARES PÉREZ, JORGE A.

Zdroj: Logical Methods in Computer Science (LMCS); 2021, Vol. 17 Issue 4, p1-41, 41p

Témata: FACE-to-face communication, SYSTEM integration, SEMANTICS

Adaptive Speculative Processing of Out-of-Order Event Streams.

Autoři: MUTSCHLER, CHRISTOPHER PHILIPPSEN, MICHAEL

Zdroj: ACM Transactions on Internet Technology; Jul2014, Vol. 14 Issue 1, p1-24, 24p

Témata: ADAPTIVE computing systems, DISTRIBUTED computing, VIDEO surveillance, BUFFER storage (Computer science), MIDDLEWARE, EVENT processing (Computer science)

Conflicts in Policy-Based Distributed Systems Manangement.

Autoři: Lupu, Emil C. Sloman, Morris

Zdroj: IEEE Transactions on Software Engineering; Nov/Dec99, Vol. 25 Issue 6, p852-869, 18p

Témata: DISTRIBUTED computing, COMPUTER networks, SOFTWARE engineering, COMPUTER software development, ELECTRONIC data processing, COMPUTER programming management

Computer Program for Preliminary Helicopter Design.

Autoři: Rogers,M W NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Přispěvatelé: Rogers,M W NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Zdroj: DTIC AND NTIS

Témata: Helicopters, Computer Programming and Software, Computer Hardware, Landing gear, Computer aided design, Horsepower, Requirements, Optimization, Retractable, Wheels, Skids, Computer programs, Minicomputers, Weight, Helicopter rotors, Hovering, Altitude, Computer graphics, Calculators, Hand held, Theses, HP-41 computers, Aircraft wheels, Fixed wheels

Popis souboru: text/html

Relation: http://www.dtic.mil/docs/citations/ADA136026

Dostupnost: http://www.dtic.mil/docs/citations/ADA136026
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA136026

AI Reasoning in Deep Learning Era: From Symbolic AI to Neural–Symbolic AI.

Autoři: Liang, Baoyu Wang, Yuchen Tong, Chao

Zdroj: Mathematics (2227-7390); Jun2025, Vol. 13 Issue 11, p1707, 42p

Témata: ARTIFICIAL intelligence, LOGIC programming, MATHEMATICAL logic, DEEP learning, BRITTLENESS, SCALABILITY

Proceedings of the 1992 International Conference on Computer Languages : Oakland, California, April 20-23, 1992 / sponsored by IEEE Computer Society, IEEE Computer Society Technical Committe on Computer Languages ; in coop. with ACM SIGPLAN and IFIP Technical Committee 2 ; The Institute of Electrical and Electronics Engineers.

Autoři: International Conference on Computer Languages (1992 ; Oakland). Institute of Electrical and Electronics Engineers. Computer Society. Institute of Electrical and Electronics Engineers. Computer Society.,Technical Committee on Computer Languages. Computer Society.,Technical Committee on Computer Languages. a další

Přispěvatelé: International Conference on Computer Languages (1992 ; Oakland). Institute of Electrical and Electronics Engineers. Computer Society. Institute of Electrical and Electronics Engineers. Computer Society.,Technical Committee on Computer Languages. Computer Society.,Technical Committee on Computer Languages. a další

Zdroj: Bibliogr. przy art.
Indeks.

Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1756273&theme=nukat

Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium of Principles Programming Languages : POPL'09 : Savannah, Georgia, USA January 21-23, 2009 / in co-operat. with: ACM SIGACT.
Thirty-sixth Symposium of Principles Programming Languages
Symposium of Principles Programming Languages, 36

Autoři: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (36 ; 2009 ; Savannah).

Zdroj: Bibliogr. przy ref. Indeks.

Témata: Języki programowania -- konferencje

Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1461954&theme=nukat