2088 search results - page 385 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
TAPAS is a suite of libraries dedicated to FO (R, Z, +, ≤). The suite provides (1) the application programming interface GENEPI for this logic with encapsulations of many classic...
110
click to vote
CODASPY
2012
13 years 7 months ago
2012
Main stream operating system kernels lack a strong and reliable mechanism for identifying the running processes and binding them to the corresponding executable applications. In t...
109
click to vote
DLOG
2008
15 years 2 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
ECIS
2004
15 years 1 months ago
2004
The banking landscape in Europe and Germany has a polypolistic market structure with an average vertical range of integration of 80%, implying high process redundancies. Accumulat...
184
click to vote
POPL
2009
ACM
16 years 13 days ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...