Sciweavers

1615 search results - page 136 / 323
» Computer science and decision theory
Sort
View
107
Voted
GG
2004
Springer
15 years 6 months ago
Rule Execution in Graph-Based Incremental Interactive Integration Tools
Abstract. Development processes in engineering disciplines are inherently complex. Throughout the development process, different kinds of inter-dependent design documents are creat...
Simon M. Becker, Sebastian Lohmann, Bernhard Westf...
CSR
2010
Springer
15 years 5 months ago
Frameworks for Logically Classifying Polynomial-Time Optimisation Problems
We show that a logical framework, based around a fragment of existential second-order logic formerly proposed by others so as to capture the class of polynomially-bounded P-optimi...
James Gate, Iain A. Stewart
WG
1998
Springer
15 years 4 months ago
Linear Time Solvable Optimization Problems on Graphs of Bounded Clique Width
Hierarchical decompositions of graphs are interesting for algorithmic purposes. There are several types of hierarchical decompositions. Tree decompositions are the best known ones....
Bruno Courcelle, Johann A. Makowsky, Udi Rotics
GI
2009
Springer
14 years 10 months ago
Frontloading: Virtual Quality Assurance for Improved Service Launch Processes
: Swift and frictionless launches of new products are a decisive capability of future telecommunication providers, especially in an all-IP production environment. These processes a...
Heiko Lehmann, Uwe Beyer, Simon Cohnitz, Udo Bub
CSE
2009
IEEE
15 years 7 months ago
Reputation-Based Ontology Alignment for Autonomy and Interoperability in Distributed Access Control
Abstract—Vocabulary alignment is a main challenge in distributed access control as peers should understand each other’s policies unambiguously. Ontologies enable mutual underst...
Daniel Trivellato, Fred Spiessens, Nicola Zannone,...