2106 search results - page 230 / 422 » Operational Semantics for DyLPs |
137
click to vote
ENTCS
2007
15 years 6 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
192
click to vote
IJAR
2007
15 years 6 months ago
2007
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
156
click to vote
IJFCS
2007
15 years 6 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
191
click to vote
ACTA
2005
15 years 6 months ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
190
click to vote
APIN
2000
15 years 6 months ago
2000
The use of genetic programming for probabilistic pattern matching is investigated. A stochastic regular expression language is used. The language features a statistically sound sem...