Search Sciweavers | Sciweavers

8109 search results - page 134 / 1622

» A Model of Component-Based Programming

151

click to vote

AIIA
2007
Springer

89views Artificial Intelligence» more AIIA 2007»

Finite Model Reasoning on UML Class Diagrams Via Constraint Programming

16 years 1 months ago

Download www.dis.uniroma1.it

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo...

claim paper

Read More »

139

click to vote

EPIA
2007
Springer

86views Artificial Intelligence» more EPIA 2007»

Answer-Set Programming Based Dynamic User Modeling for Recommender Systems

16 years 1 months ago

Download centria.di.fct.unl.pt

João Leite, Manoela Ilic

claim paper

Read More »

162

click to vote

LCPC
2007
Springer

116views System Software» more LCPC 2007»

Capsules: Expressing Composable Computations in a Parallel Programming Model

16 years 1 months ago

Download etd.gatech.edu

Hasnain A. Mandviwala, Umakishore Ramachandran, Ka...

claim paper

Read More »

174

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

16 years 1 months ago

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

135

click to vote

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers