2608 search results - page 83 / 522 » Subjects, Models, Languages, Transformations |
IEEESCC
2007
IEEE
15 years 6 months ago
2007
IEEE
Web rule languages with the ability to cover various types of rules have been recently emerged to make interactions between web resources and broker agents possible. The chance of...
SIGIR
2008
ACM
14 years 11 months ago
2008
ACM
In this paper we explore the use of parsimonious language models for web retrieval. These models are smaller thus more efficient than the standard language models and are therefor...
ENTCS
2006
14 years 12 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
ENTCS
2007
14 years 12 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
PPDP
2001
Springer
15 years 4 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...