4401 search results - page 631 / 881 » Computing with Default Logic |
130
Voted
TIME
2003
IEEE
15 years 10 months ago
2003
IEEE
In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...
131
click to vote
VLSID
2003
IEEE
15 years 10 months ago
2003
IEEE
With the emergence of the packet-switched networks as a possible system-on-chip (SoC) communication paradigm, the design of network-on-chips (NoC) has provided a challenge to the ...
122
Voted
DEBS
2003
ACM
15 years 10 months ago
2003
ACM
Publish/subscribe (pub/sub) middleware facilitates loosely coupled cooperation and fits well the needs of spontaneous, ad-hoc interaction. However, newly started mobile applicati...
158
click to vote
SIGMOD
2003
ACM
15 years 10 months ago
2003
ACM
: The “Grid” is an emerging infrastructure for coordinating access across autonomous organizations to distributed, heterogeneous computation and data resources. Data grids are ...
136
Voted
AI
2003
Springer
15 years 10 months ago
2003
Springer
MAX-SAT, the optimisation variant of the satisfiability problem in propositional logic, is an important and widely studied combinatorial optimisation problem with applications in ...