7296 search results - page 296 / 1460 » informs 2010 |
194
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
175
click to vote
ENTCS
2007
15 years 6 months ago
2007
We propose a design of a client reputation system that can be used to reduce unwanted traffic in the Internet. Many reputation systems proposed in the trust literature are provid...
186
click to vote
ECRA
2002
15 years 6 months ago
2002
Web Services will transform the web from a collection of information into a distributed computational device. In order to employ their full potential, appropriate description means...
155
click to vote
ELECTRONICMARKETS
1998
15 years 6 months ago
1998
AbstractAbstractAbstractAbstract Despite the growth of research interest into electronic markets, there is still little information available on the ways in which an electronic mar...
215
click to vote
HCSE
2010
15 years 5 months ago
2010
In this paper we present a novel method for desktop-to-mobile adaptation. The solution also supports end-users in customizing multi-device ubiquitous user interfaces. In particular...