3239 search results - page 147 / 648 » A Logical Process Calculus |
97
Voted
ENTCS
2006
15 years 25 days ago
2006
XML-centric models of computation have been proposed as an answer to the demand for interoperability, heterogeneity and openness in coordination models. We present a prototype imp...
101
Voted
WECWIS
2002
IEEE
15 years 5 months ago
2002
IEEE
In the web context, it is difficult to disentangle presentation from process logic, and sometimes even data is not separate from the presentation. Consequently, it becomes to de...
111
Voted
JAR
2002
15 years 14 days ago
2002
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...
106
Voted
LOGCOM
2007
15 years 20 days ago
2007
In this paper we present s1, a family of logics that is useful to disprove propositional formulas by means of an anytime approximation process. The systems follows the paradigm of...
196
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...