3342 search results - page 642 / 669 » Automating Abstract Interpretation |
LR
2011
13 years 2 months ago
2011
Scopus is the world’s largest abstract and citation database of peer-reviewed literature and quality web sources (-> http://www.info.sciverse.com/scopus). ontains 41 million r...
SE
2007
13 years 9 months ago
2007
Abstract: In diesem Artikel erl¨autern wir die Erfahrungen, die wir bis zum jetzigen Zeitpunkt im Zuge der Portierung einer komplexen Anwendung auf die .NETPlattform sammeln konnt...
EPK
2007
13 years 9 months ago
2007
Abstract: Ereignisgesteuerte Prozessketten (EPK) sind eine Notation zur Modellierung von Geschäftsprozessen. Komplexe Geschäftsprozesse werden üblicherweise nicht als eine einzi...
GIS
2004
ACM
14 years 8 months ago
2004
ACM
Sensor networks are unattended deeply distributed systems whose schema can be conceptualized using the relational model. Aggregation queries on the data sampled at each ode are th...
DAC
2009
ACM
14 years 8 months ago
2009
ACM
Efficient system-level design is increasingly relying on hierarchical design-space exploration, as well as compositional methods, to shorten time-to-market, leverage design re-use...