Sciweavers

7380 search results - page 939 / 1476
» Engineering Software Intensive Systems
Sort
View
FOSSACS
2012
Springer
14 years 2 months ago
Synthesizing Probabilistic Composers
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
Sumit Nain, Moshe Y. Vardi
FOSSACS
2012
Springer
14 years 2 months ago
A Coalgebraic Perspective on Minimization and Determinization
Coalgebra offers a unified theory of state based systems, including infinite streams, labelled transition systems and deterministic automata. In this paper, we use the coalgebrai...
Jirí Adámek, Filippo Bonchi, Mathias...
SSR
2001
146views more  SSR 2001»
15 years 7 months ago
Implementing product line variabilities
Software product lines have numerous members. Thus, a product line infrastructure must cover various systems. This is the significant difference to usual software systems and the ...
Cristina Gacek, Michalis Anastasopoules
CEC
2010
IEEE
15 years 7 months ago
Evolvable mechanics: Hardware tools for evolutionary robotics
Embodying robot morphologies evolved in simulation can present serious problems for an engineer when translating simplified simulated mechanisms into working devices, often drawing...
Bill Bigge Inman, R. Harvey
ICSE
2005
IEEE-ACM
16 years 6 months ago
Safe query objects: statically typed objects as remotely executable queries
When building scalable systems that involve general-purpose computation and persistent data, object-oriented languages and relational databases are often essential components. Yet...
William R. Cook, Siddhartha Rai