2986 search results - page 519 / 598 » Generic market models |
178
click to vote
TPHOL
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
193
click to vote
WISE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...
153
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
Most of the research on multiagent systems has focused on the development of rational utility-maximizing agents. However, research shows that emotions have a strong effect on peo...
159
click to vote
BTW
2007
Springer
16 years 18 days ago
2007
Springer
: Efficient information sharing is very important for emergency and rescue operations. These operations often have to be performed in environments where no communication infrastruc...
173
click to vote
CRYPTO
2007
Springer
16 years 18 days ago
2007
Springer
We put forward a new paradigm for building hybrid encryption schemes from constrained chosen-ciphertext secure (CCCA) key-encapsulation mechanisms (KEMs) plus authenticated symmet...