1411 search results - page 216 / 283 » Interactive Coding for Interactive Proofs |
PODS
2001
ACM
15 years 10 months ago
2001
ACM
The paper investigates XML document speci cations with DTDs and integrity constraints, such as keysand foreign keys. We study the consistency problem of checking whether a given s...
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
As aspect-oriented software development gains popularity, there is growing interest in using aspects to implement cross-cutting concerns in object-oriented systems. When aspect-or...
APSCC
2009
IEEE
15 years 4 months ago
2009
IEEE
—In a number of scenarios, services generated using a model-driven development (MDD) approach could benefit from “reflective” access to the information in the models from w...
PERCOM
2009
ACM
15 years 4 months ago
2009
ACM
— The pervasive computing environment and the wide network bandwidth provide users more opportunities to utilize remote computing resources. In this paper, we introduce a highper...
PADS
2009
ACM
15 years 4 months ago
2009
ACM
Unexpected model behaviors need explanation, so valid behaviors can be separated from errors. Understanding unexpected behavior requires accumulation of insight into the behavior ...