Search Results - "CSP (Computer program language)"

Counting and enumerating partial Latin rectangles by means of computer algebra systems and CSP solvers.

Authors: Falcón, Raúl M. Falcón, Óscar J. Núñez, Juan

Source: Mathematical Methods in the Applied Sciences. 11/30/2018, Vol. 41 Issue 17, p7236-7262. 27p.

An improved constrained learning path adaptation problem based on genetic algorithm.

Authors: Benmesbah, Ouissem Lamia, Mahnane Hafidi, Mohamed

Source: Interactive Learning Environments; Oct2023, Vol. 31 Issue 6, p3595-3612, 18p

On constraint satisfaction problems below P.

Authors: EGRI, LÁSZLÓ¹ laszlo.egri@mail.mcgill.ca

Source: Journal of Logic & Computation. Jun2016, Vol. 26 Issue 3, p893-922. 30p.

Subjects: CSP (Computer program language), Datalog (Computer program language), Branching processes, Logic programming, Duality (Logic)

Models for CSP with availability information.

Authors: LOWE, GAVIN¹ gavin.lowe@cs.ox.ac.uk.

Source: Mathematical Structures in Computer Science. Sep2016, Vol. 26 Issue 6, p1022-1053. 32p.

RJOP - A Customized Java Processor for Reactive Embedded Systems.

Authors: Nadeem, Muhammad Biglari-Abhari, Morteza Salcic, Zoran

Source: DAC: Annual ACM/IEEE Design Automation Conference; Jun2011, p1038-1043, 6p, 4 Diagrams, 5 Charts, 1 Graph

A CSP-based framework for the specification, verification, and implementation of adaptive systems.

Authors: Bartels, Björn Kleine, Moritz

Source: ICSE: International Conference on Software Engineering; 2011, p158-167, 10p

Template-based Implementation.

Source: Pipelined Processor Farms; 2001 1st Edition, p95-113, 19p

Defining information flow quantity.

Authors: Lowe, Gavin¹ gavin.lowe@comlab.ox.ac.uk

Source: Journal of Computer Security. 2004, Vol. 12 Issue 3/4, p619-653. 35p. 1 Chart.

Subjects: Information processing, CSP (Computer program language), Computer security, Computer science

Embedding agents within the intruder to detect parallel attacks.

Authors: Broadfoot, P. J. Roscoe, A. W.

Source: Journal of Computer Security. 2004, Vol. 12 Issue 3/4, p379-408. 30p. 6 Charts.

Subjects: CSP (Computer program language), Computer security, Computer network protocols, Computer networks, Computer science

Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT.

Authors: ARGELICH, JOSEP CABISCOL, ALBA LYNCE, INÊS et al.

Source: Journal of Multiple-Valued Logic & Soft Computing. 2012, Vol. 19 Issue 1-3, p3-23. 21p. 3 Charts.

Subjects: CSP (Computer program language), Computer simulation, Empirical research, Performance evaluation, Machine learning

Sound and mechanised compositional verification of input-output conformance.

Authors: Sampaio, Augusto Nogueira, Sidney Mota, Alexandre et al.

Source: Software Testing: Verification & Reliability. Jun2014, Vol. 24 Issue 4, p289-319. 31p.

Subjects: CSP (Computer program language), Computer software testing, Motorola Inc., Mobile apps, Conformance testing, Algebra

Set constraint model and automated encoding into SAT: application to the social golfer problem.

Authors: Lardeux, Frédéric Monfroy, Eric Crawford, Broderick et al.

Source: Annals of Operations Research; Dec2015, Vol. 235 Issue 1, p423-452, 30p

Proving security protocols with model checkers by data independence techniques.

Authors: Roscoe, A.W. Broadfoot, P.J.

Source: Journal of Computer Security. 1999, Vol. 7 Issue 2/3, p147. 44p. 1 Diagram.

Subjects: Computer network protocols, CSP (Computer program language)

Casper: A compiler for the analysis of security protocols.

Authors: Lowe, Gavin

Source: Journal of Computer Security. 1998, Vol. 6 Issue 1/2, p53. 32p.

Subjects: Computer software, CSP (Computer program language)

GreASE: A Tool for Efficient "Nonequivalence" Checking.

Authors: DE FRANCESCO, NICOLETTA LETTIERI, GIUSEPPE SANTONE, ANTONELLA et al.

Source: ACM Transactions on Software Engineering & Methodology; May2014, Vol. 23 Issue 3, p24:1-24:26, 26p

Model Checking of E-Commerce Protocol using Casper FDR.

Authors: Sravanthi, Dantuluri¹, sravanthi.kvkr@gmail.com

Source: International Journal of Advanced Research in Computer Science; Sep/Oct2013, Vol. 4 Issue 10, p12-16, 5p

A STATIC ANALYSIS FRAMEWORK FOR LIVELOCK FREEDOM IN CSP.

Authors: OUAKNINE, JOËL PALIKAREVA, HRISTINA ROSCOE, A. W. et al.

Source: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 3, p1-53, 53p

Investigating a file transfer protocol using CSP and B.

Authors: Evans, Neil Treharne, Helen

Source: Software & Systems Modeling; Jul2005, Vol. 4 Issue 3, p258-276, 19p

Distributed singleton consistency.

Authors: Sakellariou, Ilias Vlahavas, Ioannis

Source: Journal of Experimental & Theoretical Artificial Intelligence; Apr-Jun2004, Vol. 16 Issue 2, p107-124, 18p

Multiple beamforming with source localization based on CSP analysis.

Authors: Nishiura, Takanobu Nishioka, Ryousuke Yamada, Takeshi et al.

Source: Systems & Computers in Japan; 5/1/2003, Vol. 34 Issue 5, p69-80, 12p