3239 search results - page 189 / 648 » A Logical Process Calculus |
108
Voted
IFM
2007
Springer
15 years 9 months ago
2007
Springer
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...
99
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
This paper addresses the question of factoring a logic into families of (generally simpler) components, estimating the top– down perspective, splitting, versus the bottom–up, s...
130
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
of proposed research. A short bibliography is optional. Domain theory has been developed around 40 years since 1970s by D. Scott, and S. Abramsky revealed the "junction betwee...
132
click to vote
ICWE
2010
Springer
15 years 1 months ago
2010
Springer
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
122
Voted
CLEF
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes in detail the combination of NLP methods applied to the treatment of logic forms in the topic processing and statistical methods applied to the search engine ...