2881 search results - page 478 / 577 » Model Checking for Programming Languages using Verisoft |
166
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
While many real-world combinatorial problems can be advantageously modeled and solved using Constraint Programming, scalability remains a major issue in practice. Constraint models...
157
click to vote
WWW
2010
ACM
2010
ACM
Atomate it! end-user context-sensitive automation using heterogeneous information sources on the web
15 years 12 months ago
The transition of personal information management (PIM) tools off the desktop to the Web presents an opportunity to augment these tools with capabilities provided by the wealth o...
153
click to vote
WCE
2007
15 years 6 months ago
2007
—Partitioned global address space (PGAS) languages, such as Unified Parallel C (UPC) have the promise of being productive. Due to the shared address space view that they provide,...
216
click to vote
LBM
2007
15 years 6 months ago
2007
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the comput...
152
Voted
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...