5634 search results - page 866 / 1127 » About Abstract Classes |
167
click to vote
FC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Suppose Alice and Bob are two entities (e.g. agents, organizations, etc.) that wish to negotiate a contract. A contract consists of several clauses, and each party has ce...
184
Voted
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
154
click to vote
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
189
click to vote
GEOS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Conceptual Graphs are a very powerful knowledge and meaning representation formalism grounded on deep philosophical, linguistic and object oriented principles [1], [2]. C...
140
click to vote
GRID
2005
Springer
16 years 4 days ago
2005
Springer
Abstract— We propose a method for wide-area message passing systems to perform collective operations using dynamically created spanning trees. In our proposal, broadcasts and red...