5255 search results - page 925 / 1051 » Formal Methods for Privacy |
122
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. QoS-based service selection mechanisms will play an essential role in service-oriented architectures, as e-Business applications want to use services that most accurately...
120
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
153
click to vote
SFM
2005
Springer
15 years 9 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
138
click to vote
ICML
2004
IEEE
15 years 9 months ago
2004
IEEE
The paper is concerned with two-class active learning. While the common approach for collecting data in active learning is to select samples close to the classification boundary,...
132
click to vote
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...