2390 search results - page 88 / 478 » Architectural Views and Alternatives |
MFCS
1993
Springer
14 years 2 months ago
1993
Springer
We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued bin...
FSTTCS
2010
Springer
13 years 8 months ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
TVLSI
2008
13 years 9 months ago
2008
With the density of FPGAs steadily increasing, FPGAs have reached the point where they are capable of implementing complex floating-point applications. However, their general-purpo...
ESAW
2009
Springer
14 years 4 months ago
2009
Springer
In this paper, after a short review of the dichotomous view of norms usually seen as either regular behaviors or obligations issued by authorities, norms are proposed to be defined...
IV
2006
IEEE
14 years 4 months ago
2006
IEEE
– The paper presents some experiences in developing a virtual environment using a videogame engine. It provides the details and the caveats met during development, with particula...