532 search results - page 83 / 107 » Process Algebras for Quantitative Analysis |
BIRTHDAY
2004
Springer
14 years 1 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
TACAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
UML
2001
Springer
14 years 3 days ago
2001
Springer
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...
IEAAIE
1999
Springer
13 years 12 months ago
1999
Springer
This paper presents a strategy to handle incomplete knowledge during acquisition process. The goal of this research is to develop formal tools that benefit the law of semantic bala...
EACL
1989
ACL Anthology
13 years 8 months ago
1989
ACL Anthology
In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. We extend standard feature value logics to treat word order in a single...