5451 search results - page 714 / 1091 » Typed Operational Semantics |
177
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
196
click to vote
TPCTC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Event processing engines are used in diverse mission-critical scenarios such as fraud detection, traffic monitoring, or intensive care units. However, these scenarios hav...
139
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
In the negotiation literature we find two relatively distinct types of negotiation. The two types are known as integrative negotiations and distributive negotiations. Integrative...
147
Voted
ICCCN
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, we propose a novel communication paradigm called group-oriented communication. Different from conventional unicast-based communications, group-oriented communicat...
150
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, a new hybrid photodiode-photogate (HPDPG) CMOS APS pixel for high-dynamic range imaging applications is presented. The HPDPG pixel composes of a biased photogate...