3229 search results - page 430 / 646 » Theories with the Independence Property |
199
click to vote
ECOWS
2007
Springer
16 years 24 days ago
2007
Springer
Dynamic composition of web services is a promising approach and at the same time a challenging research area for the dissemination of serviceoriented applications. It is widely rec...
153
click to vote
EUROCAST
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We report computer-aided modeling and simulation of evolution in biological systems with living organisms as effect of extremum properties of classical statistical entro...
176
click to vote
FC
2007
Springer
16 years 24 days ago
2007
Springer
A multi-coupon (MC) represents a collection of k coupons that a user can redeem to a vendor in exchange for some goods or services. Nguyen (FC 2006), deepening the ideas of Chen et...
193
click to vote
FSTTCS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
144
click to vote
FSTTCS
2007
Springer
16 years 24 days ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...