Sciweavers

34 search results - page 1 / 7
» lics 2009
Sort
View
190
Voted
EICS
2009
ACM
16 years 1 days 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...
129
Voted
LICS
2009
IEEE
16 years 2 months ago
Computation and the Periodic Table
John Baez
200
Voted
LICS
2009
IEEE
16 years 2 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»
16 years 1 days ago
Path selection for monitoring unexpected systematic timing effects
Nicholas Callegari, Pouria Bastani, Li-C. Wang, Sr...
LICS
2009
IEEE
16 years 2 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