Sciweavers

10072 search results - page 350 / 2015
» Composition of Model Programs
Sort
View
IEEEARES
2007
IEEE
16 years 1 months ago
On Programming Models for Service-Level High Availability
Christian Engelmann, Stephen L. Scott, Chokchai Le...
AIIA
2007
Springer
16 years 28 days ago
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo...
LCPC
2007
Springer
16 years 26 days ago
Capsules: Expressing Composable Computations in a Parallel Programming Model
Hasnain A. Mandviwala, Umakishore Ramachandran, Ka...