5377 search results - page 555 / 1076 » Programming Languages For Interactive Computing |
182
click to vote
DEDUCTIVE
1994
15 years 8 months ago
1994
Given an intensional database (IDB) and an extension database (EDB), the view update problem translates updates on the IDB into updates on the EDB. One approach to the view update...
192
click to vote
IFIPTCS
2010
15 years 5 months ago
2010
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
178
click to vote
SCAM
2009
IEEE
16 years 1 months ago
2009
IEEE
—As multicore and heterogeneous multiprocessor platforms replace uniprocessor systems, software programs must be designed with a greater emphasis on concurrency. Threading has be...
181
click to vote
ICLP
2005
Springer
16 years 18 days ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
193
click to vote
ICLP
2005
Springer
16 years 18 days ago
2005
Springer
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...