Sciweavers

34 search results - page 1 / 7
» lics 2009
Sort
View
124
Voted
EICS
2009
ACM
15 years 8 months ago
MoLIC designer: towards computational support to hci design with MoLIC
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...
84
Voted
LICS
2009
IEEE
15 years 10 months ago
Computation and the Periodic Table
John Baez
133
Voted
LICS
2009
IEEE
15 years 10 months ago
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Al...
ASPDAC
2009
ACM
120views Hardware» more  ASPDAC 2009»
15 years 8 months ago
Path selection for monitoring unexpected systematic timing effects
Nicholas Callegari, Pouria Bastani, Li-C. Wang, Sr...
134
Voted
LICS
2009
IEEE
15 years 10 months ago
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
Dan R. Ghica