573 search results - page 90 / 115 » Temporal Views as Abstract Relations |
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
AIRS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Collaborative filtering is a major technique to make personalized recommendations about information items (movies, books, webpages etc) to individual users. In the liter...
COSIT
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Ontologies are a common approach to improve semantic interoperability by explicitly specifying the vocabulary used by a particular information community. Complex expressi...