5377 search results - page 298 / 1076 » Programming Languages For Interactive Computing |
182
click to vote
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedi...
323
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
155
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
In this paper we describe an on-going experiment on the calming effects of a relational agent on users following a social bonding interaction. Applications to a range of health ca...
168
click to vote
EMSOFT
2005
Springer
16 years 1 days ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
170
click to vote
DASIP
2010
15 years 1 months ago
2010
The elaboration of new systems on embedded targets is becoming more and more complex. In particular, multimedia devices are now implemented using mixed hardware and software archi...