261 search results - page 41 / 53 » A framework for system specification using chains on cell co... |
HCI
2009
13 years 4 months ago
2009
Abstract. While interactive virtual humans are becoming widely used in education, training and delivery of instructions, building the animations required for such interactive chara...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
iStuff Mobile is the first rapid prototyping framework that helps explore new sensor-based interfaces with existing mobile phones. It focuses on sensor-enhanced physical interface...
PODS
2004
ACM
14 years 6 months ago
2004
ACM
We present the Lixto project, which is both a research project in database theory and a commercial enterprise that develops Web data extraction (wrapping) and Web service definiti...
SCOPES
2005
Springer
14 years 6 days ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
ICSE
2008
IEEE-ACM
14 years 6 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...