4286 search results - page 202 / 858 » Formalizing Service Interactions |
142
click to vote
IPPS
2006
IEEE
16 years 13 days ago
2006
IEEE
Analytic applications from various industrial sectors have specific attributes and requirements including relatively long processing time, parallelization, multiple interactive in...
146
click to vote
PLSA
1994
15 years 10 months ago
1994
Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...
160
click to vote
ECTEL
2009
Springer
16 years 29 days ago
2009
Springer
Technology enhanced learning environments are characterized by socio-technical interactions. Socio-technical interactions involve individuals interacting with (a) technologies, and...
177
click to vote
RTA
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
175
click to vote
DIGRA
2005
Springer
15 years 12 months ago
2005
Springer
In this contribution, “Interactive Digital Storytelling” is viewed as a hybrid form of game design and cinematic storytelling for the understanding and creation of future lear...