850 search results - page 131 / 170 » A Logic Programming Language Based on Binding Algebras |
120
click to vote
APLAS
2007
ACM
15 years 5 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
115
click to vote
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
140
click to vote
PLANX
2007
15 years 2 months ago
2007
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
110
click to vote
AUIC
2000
IEEE
15 years 5 months ago
2000
IEEE
Electronic Blocks are a new programming interface, designed for children aged between three and eight years. The Electronic Blocks programming environment includes sensor blocks, ...
126
click to vote
DOLAP
2008
ACM
15 years 3 months ago
2008
ACM
The development of data warehouses is based on a threestage process that starts specifying both the static and dynamic properties of on-line analytical processing (OLAP) applicati...