854 search results - page 140 / 171 » Addressing Dynamic Issues of Program Model Checking |
137
Voted
KDD
2004
ACM
16 years 2 months ago
2004
ACM
We devise a boosting approach to classification and regression based on column generation using a mixture of kernels. Traditional kernel methods construct models based on a single...
116
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
This paper addresses the problem of extending the lifetime of a batterypowered mobile host in a client-server wireless network by using task migration and remote processing. This ...
115
click to vote
OTM
2005
Springer
15 years 7 months ago
2005
Springer
Object mobility is the basis for highly dynamic distributed applications. This paper presents the design and implementation of mobile objects on the basis of the CORBA standard. Ou...
139
Voted
ICSOC
2004
Springer
15 years 7 months ago
2004
Springer
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...
115
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...