1486 search results - page 132 / 298 » A Logically Saturated Extension of |
201
click to vote
JAPLL
2010
15 years 4 months ago
2010
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
202
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
230
click to vote
FROCOS
2011
Springer
14 years 5 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
162
click to vote
APSEC
2008
IEEE
16 years 14 days ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
163
click to vote
MICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
Recent experimental advances have demonstrated technologies capable of supporting scalable quantum computation. A critical next step is how to put those technologies together into...