4286 search results - page 202 / 858 » Formalizing Service Interactions |
157
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Analytic applications from various industrial sectors have specific attributes and requirements including relatively long processing time, parallelization, multiple interactive in...
156
Voted
PLSA
1994
15 years 11 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-...
171
Voted
ECTEL
2009
Springer
16 years 1 months ago
2009
Springer
Technology enhanced learning environments are characterized by socio-technical interactions. Socio-technical interactions involve individuals interacting with (a) technologies, and...
204
Voted
RTA
2009
Springer
16 years 1 months 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...
186
click to vote
DIGRA
2005
Springer
16 years 15 days 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...