Facet browsing currently unavailable
Page 10 of 1743 results
Sort by: relevance publication year
Minimal communication cost software construction in the Internet environment JOURNAL ARTICLE published 1 August 1997 in Acta Informatica |
The query complexity of estimating weighted averages JOURNAL ARTICLE published December 2011 in Acta Informatica |
Specification-oriented semantics for Communicating Processes JOURNAL ARTICLE published April 1986 in Acta Informatica |
Category-based modularisation for equational logic programming JOURNAL ARTICLE published August 1996 in Acta Informatica |
Optimum checkpoints with age dependent failures JOURNAL ARTICLE published May 1990 in Acta Informatica |
Availability of a distributed computer system with failures JOURNAL ARTICLE published November 1986 in Acta Informatica |
Inefficiency of equilibria for the machine covering game on uniform machines JOURNAL ARTICLE published September 2012 in Acta Informatica |
Verification of clocked and hybrid systems JOURNAL ARTICLE published 1 May 2000 in Acta Informatica |
Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control JOURNAL ARTICLE published October 2021 in Acta Informatica Research funded by National Natural Science Foundation of China (61625206,61732001) | European Research Council (Advanced Project FRAPPANT 787914) | Deutsche Forschungsgemeinschaft (DFG RTG 1765 SCARE) | Deutsche Forschungsgemeinschaft (DFG FR 2715/4) | National Natural Science Foundation of China (61502467) | Air Force Research Laboratory (FA2386-17-1-4022) |
Order and metric in the stream semantics of elemental concurrency JOURNAL ARTICLE published September 1987 in Acta Informatica |
Failures semantics and deadlocking of modular Petri nets JOURNAL ARTICLE published February 1989 in Acta Informatica |
Type-based information flow analysis for the π-calculus JOURNAL ARTICLE published December 2005 in Acta Informatica |
A compositional dataflow semantics for Petri nets JOURNAL ARTICLE published July 1995 in Acta Informatica |
Logical and schematic characterization of complexity classes JOURNAL ARTICLE published January 1993 in Acta Informatica |
On regular temporal logics with past JOURNAL ARTICLE published June 2010 in Acta Informatica |
Program proving: Coroutines JOURNAL ARTICLE published 1973 in Acta Informatica |
Testing bag-containment of conjunctive queries JOURNAL ARTICLE published 14 July 1997 in Acta Informatica |
Process algebra with action dependencies JOURNAL ARTICLE published 1 December 2001 in Acta Informatica |
Query optimization in information integration JOURNAL ARTICLE published June 2013 in Acta Informatica |
One-sided random context grammars JOURNAL ARTICLE published May 2011 in Acta Informatica |