skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: ACM Digital Library remover Base de dados/Biblioteca: Springer Books remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
SAT-based model checking without unrolling
SAT-based model checking without unrolling
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

SAT-based model checking without unrolling

Bradley, Aaron R. Jhala, Ranjit ; Schmidt, David

Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation, 2011, p.70-87 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Sem texto completo

Citações Citado por
2
Fish'n'Steps: encouraging physical activity with an interactive computer game
Fish'n'Steps: encouraging physical activity with an interactive computer game
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Fish'n'Steps: encouraging physical activity with an interactive computer game

Lin, James J. ; Mamykina, Lena ; Lindtner, Silvia ; Delajoux, Gregory ; Strub, Henry B. Dourish, Paul ; Friday, Adrian ; Dourish, Paul ; Friday, Adrian

Lecture notes in computer science, 2006, p.261-278 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Sem texto completo

Citações Citado por
3
SenseCam: a retrospective memory aid
SenseCam: a retrospective memory aid
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

SenseCam: a retrospective memory aid

Hodges, Steve ; Williams, Lyndsay ; Berry, Emma ; Izadi, Shahram ; Srinivasan, James ; Butler, Alex ; Smyth, Gavin ; Kapur, Narinder ; Wood, Ken Dourish, Paul ; Friday, Adrian ; Dourish, Paul ; Friday, Adrian

Lecture notes in computer science, 2006, p.177-193 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Sem texto completo

Citações Citado por
4
Analyzing user modeling on twitter for personalized news recommendations
Analyzing user modeling on twitter for personalized news recommendations
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Analyzing user modeling on twitter for personalized news recommendations

Abel, Fabian ; Gao, Qi ; Houben, Geert-Jan ; Tao, Ke Marzo, José L. ; Konstan, Joseph A. ; Conejo, Ricardo ; Oliver, Nuria

Proceedings of the 19th international conference on User modeling, adaption, and personalization, 2011, p.1-12 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Sem texto completo

Citações Citado por
5
Henshin: advanced concepts and tools for in-place EMF model transformations
Henshin: advanced concepts and tools for in-place EMF model transformations
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Henshin: advanced concepts and tools for in-place EMF model transformations

Arendt, Thorsten ; Biermann, Enrico ; Jurack, Stefan ; Krause, Christian ; Taentzer, Gabriele Rouquette, Nicolas ; Petriu, Dorina C. ; Haugen, Øystein

Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I, 2010, p.121-135 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Sem texto completo

Citações Citado por
6
Mapping features to models: a template approach based on superimposed variants
Mapping features to models: a template approach based on superimposed variants
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Mapping features to models: a template approach based on superimposed variants

Czarnecki, Krzysztof ; Antkiewicz, Michał Glück, Robert ; Lowry, Michael ; Lowry, Michael ; Glück, Robert

Generative Programming and Component Engineering, 2005, p.422-437 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Sem texto completo

Citações Citado por
7
Predestination: inferring destinations from partial trajectories
Predestination: inferring destinations from partial trajectories
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Predestination: inferring destinations from partial trajectories

Krumm, John ; Horvitz, Eric Dourish, Paul ; Friday, Adrian ; Dourish, Paul ; Friday, Adrian

Lecture notes in computer science, 2006, p.243-260 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Sem texto completo

Citações Citado por
8
Moving on from weiser's vision of calm computing: engaging ubicomp experiences
Moving on from weiser's vision of calm computing: engaging ubicomp experiences
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Moving on from weiser's vision of calm computing: engaging ubicomp experiences

Rogers, Yvonne Dourish, Paul ; Friday, Adrian ; Dourish, Paul ; Friday, Adrian

Lecture notes in computer science, 2006, p.404-421 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Sem texto completo

Citações Citado por
9
Weaving executability into object-oriented meta-languages
Weaving executability into object-oriented meta-languages
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Weaving executability into object-oriented meta-languages

Muller, Pierre-Alain ; Fleurey, Franck ; Jézéquel, Jean-Marc Williams, Clay ; Briand, Lionel ; Williams, Clay ; Briand, Lionel

Lecture notes in computer science, 2005, p.264-278 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Sem texto completo

Citações Citado por
10
Principles of smart home control
Principles of smart home control
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Principles of smart home control

Davidoff, Scott ; Lee, Min Kyung ; Yiu, Charles ; Zimmerman, John ; Dey, Anind K. Dourish, Paul ; Friday, Adrian ; Dourish, Paul ; Friday, Adrian

Lecture notes in computer science, 2006, p.19-34 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Sem texto completo

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (332)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (1.889)
  2. Book Chapters  (66)
  3. Artigos  (4)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2000  (84)
  2. 2000Até2003  (152)
  3. 2004Até2005  (311)
  4. 2006Até2008  (737)
  5. Após 2008  (706)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.