854 search results - page 117 / 171 » Addressing Dynamic Issues of Program Model Checking |
109
click to vote
GRID
2010
Springer
14 years 11 months ago
2010
Springer
Abstract Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the domainspecific problems inherent to one of the most challenging environments f...
122
click to vote
SCP
2010
15 years 24 days ago
2010
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires a proper means for scoping aspects. Scoping issues are particularly crucial in a distri...
128
Voted
COOPIS
1998
IEEE
15 years 6 months ago
1998
IEEE
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
129
Voted
FIDJI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. GOLD (Grid-based Information Models to Support the Rapid Innovation of New High Value-Added Chemicals) is concerned with the dynamic formation and management of virtual o...
113
Voted
ER
2003
Springer
15 years 7 months ago
2003
Springer
With web services emerging as a promising technology for supporting open and dynamic business processes, it is witnessed that standards for business process specification in the c...