23201 search results - page 107 / 4641 » Rewriting Systems with Data |
207
click to vote
CSCLP
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
182
click to vote
ICOODB
2009
15 years 3 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
139
click to vote
FC
2005
Springer
15 years 11 months ago
2005
Springer
Recent high profile data thefts have shown that perimeter defenses are not sufficient to secure important customer data. The damage caused by these thefts can be disastrous, and to...
150
click to vote
FROCOS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
169
click to vote
AISC
2008
Springer
15 years 7 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...