Search Sciweavers | Sciweavers

8109 search results - page 134 / 1622

» A Model of Component-Based Programming

134

click to vote

AIIA
2007
Springer

89views Artificial Intelligence» more AIIA 2007»

Finite Model Reasoning on UML Class Diagrams Via Constraint Programming

16 years 18 days ago

Download www.dis.uniroma1.it

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

claim paper

Read More »

127

click to vote

EPIA
2007
Springer

86views Artificial Intelligence» more EPIA 2007»

Answer-Set Programming Based Dynamic User Modeling for Recommender Systems

16 years 18 days ago

Download centria.di.fct.unl.pt

João Leite, Manoela Ilic

claim paper

Read More »

135

click to vote

LCPC
2007
Springer

116views System Software» more LCPC 2007»

Capsules: Expressing Composable Computations in a Parallel Programming Model

16 years 17 days ago

Download etd.gatech.edu

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

claim paper

Read More »

143

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

15 years 12 months ago

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

113

click to vote

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers