1061 search results - page 183 / 213 » Dependently Sorted Logic |
DAGSTUHL
2007
15 years 1 months ago
2007
Abstract. Well-founded orders are the most basic, but also most important ingredient to virtually all termination analyses. Numerous fully automated search algorithms for these cla...
LREC
2010
15 years 1 months ago
2010
Corpora of sentences annotated with grammatical information have been deployed by extending the basic lexical and morphological data with increasingly complex information, such as...
SEC
2008
15 years 1 months ago
2008
The constant increase of malware threats clearly shows that the present countermeasures are not sufficient especially because most actions are put in place only when infections hav...
104
click to vote
VAMOS
2008
Springer
15 years 1 months ago
2008
Springer
Software Product Lines aim at capturing the variability and commonality of a family of related programs that share a common set of assets. Variation points capture variability on ...
ECIS
2004
15 years 1 months ago
2004
The term business model has been used loosely several times for describing a company's strategies, revenue model, processes and overall business logic both by researchers and...