854 search results - page 75 / 171 » Addressing Dynamic Issues of Program Model Checking |
122
click to vote
ASWEC
2007
IEEE
15 years 6 months ago
2007
IEEE
Influence control is a very challenging issue in dynamic reconfiguration and still not well addressed in the literature. This paper argues that dynamic reconfiguration influences s...
145
Voted
GLOBECOM
2010
IEEE
15 years 16 days ago
2010
IEEE
Bandwidth allocation for different service classes in heterogeneous wireless networks is an important issue for service provider in terms of balancing service quality and profit. I...
143
Voted
COMPSAC
2011
IEEE
14 years 2 months ago
2011
IEEE
Abstract—Statistical fault localization techniques find suspicious faulty program entities in programs by comparing passed and failed executions. Existing studies show that such ...
105
Voted
ACL
1994
15 years 3 months ago
1994
This paper addresses the alignment issue in the framework of exploitation of large bimultilingual corpora for translation purposes. A generic alignment scheme is proposed that can...
121
Voted
EUROPAR
2005
Springer
15 years 8 months ago
2005
Springer
Today, component oriented middlewares are used to design, develop and deploy distributed applications easily. They ensure the heterogeneity, interoperability, and reuse of software...