Sciweavers

15635 search results - page 426 / 3127
» Modelling and Design of VAML
Sort
View
COMPUTER
2000
53views more  COMPUTER 2000»
15 years 6 months ago
E-Process Design and Assurance Using Model Checking
Wenli Wang, Zoltán Hidvégi, Andrew D...
CHI
2008
ACM
16 years 7 months ago
Activity-based prototyping of ubicomp applications for long-lived, everyday human activities
We designed an activity-based prototyping process realized in the ActivityDesigner system that combines the theoretical framework of Activity-Centered Design with traditional iter...
Yang Li, James A. Landay
LICS
2009
IEEE
16 years 1 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