17054 search results - page 197 / 3411 » Logics of Dynamical Systems |
180
click to vote
IPPS
2003
IEEE
16 years 11 days ago
2003
IEEE
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
184
Voted
EMISA
2004
Springer
16 years 15 days ago
2004
Springer
Abstract: Group-oriented web information systems (GWISs) are web-based dataintensive systems that are used by a group of people in order to fulfill common tasks. In particular, th...
196
click to vote
APAL
2006
15 years 7 months ago
2006
By a well-known result of Cook and Reckhow [4, 12], all Frege systems for the Classical Propositional Calculus (CPC) are polynomially equivalent. Mints and Kojevnikov [11] have re...
178
click to vote
CSL
2003
Springer
16 years 10 days ago
2003
Springer
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...
162
click to vote
IJCAI
2003
15 years 8 months ago
2003
We solve the problem of obtaining answers to queries posed to a mediated integration system un der the local-as-view paradigm that are consistent wrt to certain global integrity...