2757 search results - page 481 / 552 » On separating systems |
177
click to vote
IWPSE
2003
IEEE
15 years 9 months ago
2003
IEEE
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and ide...
137
click to vote
SIGLEX
1991
15 years 7 months ago
1991
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...
237
click to vote
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Abstract-- Multi-tenant data management is a form of Software as a Service (SaaS), whereby a third party service provider hosts databases as a service and provides its customers wi...
127
click to vote
FOCS
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixedparameter tractable. We consider proofs that witness that a given prop...
153
click to vote
DAGSTUHL
1996
15 years 5 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...