Search Results - 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.

Authors: Lazovik, Alexander Aiello, Marco Papazoglou, Mike

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

Subject Terms: 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

Authors: Barbanera, Franco Lanese, Ivan de'Liguoro, Ugo

Contributors: Barbanera, Franco Lanese, Ivan de'Liguoro, Ugo

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

Subject Terms: 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]

File Description: application/pdf

Access URL: 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.

Authors: McZara, Jason Sarkani, Shahryar Holzer, Thomas et al.

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

Subject Terms: REQUIREMENTS engineering, COMPUTER software development, PROGRAMMING languages, FEASIBILITY studies, RESOURCE management

Retractable Contracts

Authors: Barbanera, Franco Dezani-Ciancaglini, Mariangiola Lanese, Ivan et al.

Contributors: Barbanera, Franco Dezani-Ciancaglini, Mariangiola Lanese, Ivan et al.

Source: 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

Subject Terms: 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]

Subject Geographic: London, United Kingdom

Availability: 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.

Authors: MEZZINA, CLAUDIO ANTARES TIEZZI, FRANCESCO YOSHIDA, NOBUKO

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

Subject Terms: 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.

Authors: 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.

Contributors: 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.

Source: Bibliogr. przy rozdz.
Index.

Subject Terms: Sieci komputerowe, Komputery -- konferencje

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1759164&theme=nukat

MONITORING ASSERTION-BASED BUSINESS PROCESSES.

Authors: AIELLO, MARCO LAZOVIK, ALEXANDER

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

Subject Terms: 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.

Authors: Tepe, Cengiz Aslan, Abidin Sefa Eminoğlu, İlyas

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

Subject Terms: 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.).

Contributors: Hughes, John (1958- ). Springer Nature. pbl ACM Conference (5 ; 1991 ; Cambridge).

Source: Bibliogr. przy poszczególnych referatach.

Subject Terms: Języki programowania funkcyjnego -- konferencje, Architektura komputerów -- konferencje

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1596742&theme=nukat

Retractable Contracts

Authors: Barbanera Franco Dezani-Ciancaglini Mariangiola Lanese Ivan et al.

Contributors: Barbanera Franco Dezani-Ciancaglini Mariangiola Lanese Ivan et al.

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

Subject Terms: 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)

File Description: application/pdf

Access URL: 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

Authors: BARBANERA, Franco Lanese, Ivan De’Liguoro, Ugo et al.

Contributors: BARBANERA, Franco Lanese, Ivan De’Liguoro, Ugo et al.

Source: Lecture Notes in Computer Science ISBN: 9783319597454

Subject Terms: 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]

File Description: application/pdf

Access URL: 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.

Authors: Niu, Jianwei Atlee, Joanne M. Day, Nancy A.

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

Subject Terms: SOFTWARE engineering, COMPUTER software

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

Authors: Kesserwan, Nader Dssouli, Rachida Bentahar, Jamal et al.

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

Subject Terms: TEST systems, SYSTEMS software, LANGUAGE ability testing, SEISMIC testing, TESTING, NATURAL languages, AUTOMATION software

CAUSAL CONSISTENCY FOR REVERSIBLE MULTIPARTY PROTOCOLS.

Authors: MEZZINA, CLAUDIO ANTARES PÉREZ, JORGE A.

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

Subject Terms: FACE-to-face communication, SYSTEM integration, SEMANTICS

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

Authors: MUTSCHLER, CHRISTOPHER PHILIPPSEN, MICHAEL

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

Subject Terms: ADAPTIVE computing systems, DISTRIBUTED computing, VIDEO surveillance, BUFFER storage (Computer science), MIDDLEWARE, EVENT processing (Computer science)

Conflicts in Policy-Based Distributed Systems Manangement.

Authors: Lupu, Emil C. Sloman, Morris

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

Subject Terms: DISTRIBUTED computing, COMPUTER networks, SOFTWARE engineering, COMPUTER software development, ELECTRONIC data processing, COMPUTER programming management

Computer Program for Preliminary Helicopter Design.

Authors: Rogers,M W NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Contributors: Rogers,M W NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Source: DTIC AND NTIS

Subject Terms: 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

File Description: text/html

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

Availability: 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.

Authors: Liang, Baoyu Wang, Yuchen Tong, Chao

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

Subject Terms: 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.

Authors: 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. et al.

Contributors: 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. et al.

Source: Bibliogr. przy art.
Indeks.

Access URL: 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

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

Source: Bibliogr. przy ref. Indeks.

Subject Terms: Języki programowania -- konferencje

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1461954&theme=nukat