Sciweavers

1061 search results - page 183 / 213
» Dependently Sorted Logic
Sort
View
DAGSTUHL
2007
15 years 1 months ago
Implementing RPO and POLO using SAT
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...
Peter Schneider-Kamp, Carsten Fuhs, René Th...
LREC
2010
153views Education» more  LREC 2010»
15 years 1 months ago
Developing a Deep Linguistic Databank Supporting a Collection of Treebanks: the CINTIL DeepGramBank
Corpora of sentences annotated with grammatical information have been deployed by extending the basic lexical and morphological data with increasingly complex information, such as...
António Branco, Francisco Costa, Joã...
SEC
2008
15 years 1 months ago
Collaborative architecture for malware detection and analysis
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...
Michele Colajanni, Daniele Gozzi, Mirco Marchetti
VAMOS
2008
Springer
15 years 1 months ago
How complex is my Product Line? The case for Variation Point Metrics
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 ...
Roberto E. Lopez-Herrejon, Salvador Trujillo
ECIS
2004
15 years 1 months ago
Electronic business models: five cases from five industries
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...
Aleksi Horsti, Jyrki Tolonen, Malin Brännback