7715 search results - page 1287 / 1543 » Visual Rules Modeling |
140
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
133
Voted
SIGMOD
2002
ACM
16 years 3 months ago
2002
ACM
Physical database design is important for query performance in a shared-nothing parallel database system, in which data is horizontally partitioned among multiple independent node...
147
click to vote
DCC
2006
IEEE
16 years 3 months ago
2006
IEEE
We present a simple and efficient entropy coder that combines run-length and Golomb-Rice encoders. The encoder automatically switches between the two modes according to simple rul...
170
Voted
WISTP
2010
Springer
15 years 10 months ago
2010
Springer
The deployment of Next-Generation Networks (NGN) is a challenge that requires integrating heterogeneous services into a global system of All-IP telecommunications. These networks c...
156
Voted
HICSS
2010
IEEE
15 years 10 months ago
2010
IEEE
It seems common sense that “policy matters” in setting up e-government interoperability, mainly because collaboration should be guided by dedicated integration objectives and ...