23201 search results - page 371 / 4641 » Rewriting Systems with Data |
303
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
Recent data stream systems such as TelegraphCQ have employed the well-known property of duality between data and queries. In these systems, query processing methods are classified...
220
click to vote
APN
2009
Springer
16 years 2 months ago
2009
Springer
In previous works we defined ν-APNs, an extension of P/T nets with the capability of creating and managing pure names. We proved that, though reachability is undecidable, coverab...
152
Voted
IJCAI
1989
15 years 8 months ago
1989
Intelligent reasoners sometimes draw conclusions that lack new or relevant information. Similarly, automated reasoning systems can produce formulas that are not necessary for the ...
219
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
176
click to vote
ECIS
2003
15 years 9 months ago
2003
The European Union(EU) Data Protection (Privacy) Directive of 1995 (EUPD) and resulting legislation introduced by member states is designed to ensure that business activity is sub...