Search Sciweavers | Sciweavers

17

EICS
2009
ACM

129views Applied Computing» more EICS 2009»

MoLIC designer: towards computational support to hci design with MoLIC

13 years 10 months ago

MoLIC, a modeling language for designing interaction as a metaphor of conversation, was proposed to allow designers to build a blueprint of all interaction that may take place whe...

Ugo Braga Sangiorgi, Simone Diniz Junqueira Barbos...

claim paper

Read More »

10

click to vote

LICS
2009
IEEE

97views Automated Reasoning» more LICS 2009»

Computation and the Periodic Table

14 years 24 days ago

Download math.ucr.edu

John Baez

claim paper

Read More »

14

click to vote

LICS
2009
IEEE

118views Automated Reasoning» more LICS 2009»

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

14 years 24 days ago

Download eprints.eemcs.utwente.nl

Taolue Chen, Tingting Han, Joost-Pieter Katoen, Al...

claim paper

Read More »

9

click to vote

ASPDAC
2009
ACM

120views Hardware» more ASPDAC 2009»

Path selection for monitoring unexpected systematic timing effects

13 years 11 months ago

Download www.aspdac.com

Nicholas Callegari, Pouria Bastani, Li-C. Wang, Sr...

claim paper

Read More »

12

click to vote

LICS
2009
IEEE

134views Automated Reasoning» more LICS 2009»

Applications of Game Semantics: From Program Analysis to Hardware Synthesis

14 years 24 days ago

Download www.cs.bham.ac.uk

After informally reviewing the main concepts from game semantics and placing the development of the ﬁeld in a historical context we examine its main applications. We focus in pa...

Dan R. Ghica

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers